diff options
| author | Mathieu Othacehe <m.othacehe@gmail.com> | 2018-12-06 11:42:45 +0900 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-17 14:04:26 +0100 |
| commit | ee4004b392c90fc9e25f03c16205615590ea27e6 (patch) | |
| tree | 1476d4c09992b1733ab3b7fa71692f11806ebe3b /gnu/services/docker.scm | |
| parent | 133c401f774d803f92933e9cadb6791641913beb (diff) | |
installer: partition: Precise when using Manual/Guided partionment.
* gnu/installer/newt/partition.scm (run-disk-page)[guided?]: New argument.
Use guided? to determine if we are proceeding to a guided or a manuel
partitioning and precise it the title and info-text.
Diffstat (limited to 'gnu/services/docker.scm')
0 files changed, 0 insertions, 0 deletions