[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
18/80: installer: Add completion predicate for disk task.
From: |
John Darrington |
Subject: |
18/80: installer: Add completion predicate for disk task. |
Date: |
Tue, 3 Jan 2017 15:49:42 +0000 (UTC) |
jmd pushed a commit to branch wip-installer
in repository guix.
commit 77588cbba6ec6616e560060655384062b103f23d
Author: John Darrington <address@hidden>
Date: Thu Dec 22 19:14:24 2016 +0100
installer: Add completion predicate for disk task.
* gnu/system/installer/new.scm (size-of-largest-disk): New procedure, and
use it to make completion predicate for disk task.
---
gnu/system/installer/new.scm | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/gnu/system/installer/new.scm b/gnu/system/installer/new.scm
index 5d37e58..aa393b8 100644
--- a/gnu/system/installer/new.scm
+++ b/gnu/system/installer/new.scm
@@ -39,6 +39,7 @@
(ice-9 format)
(ice-9 match)
(ice-9 pretty-print)
+ (srfi srfi-1)
(srfi srfi-9))
@@ -56,11 +57,15 @@
(define timezone-menu-title (N_ "Set the time zone"))
(define hostname-menu-title (N_ "Set the host name"))
+(define (size-of-largest-disk)
+ (fold (lambda (disk prev) (max (disk-size disk) prev))
+ 0 (volumes)))
+
(define main-options
`(
(disk . ,(make-task partition-menu-title
'()
- (lambda () #f)
+ (lambda () (< 12000 (size-of-largest-disk)))
(lambda (page)
(make-disk-page
page
- 36/80: installer: Remove ad-hoc completed predicate and use standard one., (continued)
- 36/80: installer: Remove ad-hoc completed predicate and use standard one., John Darrington, 2017/01/03
- 35/80: installer: Make minumum-store-size variable global., John Darrington, 2017/01/03
- 34/80: installer: Add path to mount/umount commands in installer service., John Darrington, 2017/01/03
- 58/80: installer: Allow users to remove mount points during configuration., John Darrington, 2017/01/03
- 11/80: installer: Change "interfaces" from a variable to a procedure., John Darrington, 2017/01/03
- 14/80: installer: Add alternate method of finding TZDIR., John Darrington, 2017/01/03
- 13/80: installer: Use call-with-temporary-output-file., John Darrington, 2017/01/03
- 22/80: installer: Return slurped lines in their correct order., John Darrington, 2017/01/03
- 16/80: installer: Use %default-subsitute-urls instead of our own variable., John Darrington, 2017/01/03
- 10/80: installer: Perform a task's dependencies prior to the task itself., John Darrington, 2017/01/03
- 18/80: installer: Add completion predicate for disk task.,
John Darrington <=
- 20/80: installer: Remove unused procedure., John Darrington, 2017/01/03
- 30/80: installer: Add a variable to represent the minimum recommended store size., John Darrington, 2017/01/03
- 44/80: installer: Add wireless-tools bin directory to PATH., John Darrington, 2017/01/03
- 41/80: install: Define new procedure pipe-cmd and use it to implement window-pipe., John Darrington, 2017/01/03
- 40/80: installer: Ensure that all mount-points have a file system., John Darrington, 2017/01/03
- 42/80: installer: Correct bugs generating the configuration., John Darrington, 2017/01/03
- 47/80: installer: Turn off kernel ring messages to console., John Darrington, 2017/01/03
- 39/80: installer: New predicate valid-hostname?, John Darrington, 2017/01/03
- 48/80: installer: Enable scrolling in the installation window., John Darrington, 2017/01/03
- 46/80: installer: Add inetutils bin directory to PATH., John Darrington, 2017/01/03