diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-05-15 00:47:18 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-15 12:18:51 +0200 |
commit | 7d567af46b4e10ffafb1d0f76b524f5781460598 (patch) | |
tree | 26aa26c0653c4897796b0d825308c407ef2c9765 /graph.js | |
parent | 36f5d78d4af02ad23c33bfb46702d92086bf2796 (diff) |
installer: Mount ESP once only.
Fixes <https://bugs.gnu.org/35731>.
* gnu/installer/newt/partition.scm (run-partioning-page)[run-page]:
Introduce 'initial-partitions' variable. Previously we'd call
'disk-partitions' after 'auto-partition' had done its job of creating
new partitions, and thus its result would contain the just-created
partitions. Consequently, 'create-special-user-partitions' would return
the ESP partition we just created, and thus it would appear twice in the
list.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions