diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-15 16:09:18 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-15 16:09:18 +0200 |
| commit | b4440de133401abc6ce8be6c1c2e720efd9b2ba3 (patch) | |
| tree | 0d235e79790239daafbe26e1054b45672067f149 /gnu/services | |
| parent | 141262f266ab702c856f634889d4130ae661e79f (diff) | |
| parent | 33ff35d57095bb1283e9fb40edc24556f9a43682 (diff) | |
| download | guix-b4440de133401abc6ce8be6c1c2e720efd9b2ba3.tar.gz | |
Merge branch 'version-1.1.0'
Diffstat (limited to 'gnu/services')
| -rw-r--r-- | gnu/services/linux.scm | 1 | ||||
| -rw-r--r-- | gnu/services/shepherd.scm | 7 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gnu/services/linux.scm b/gnu/services/linux.scm index 781a61973c..12934c2084 100644 --- a/gnu/services/linux.scm +++ b/gnu/services/linux.scm @@ -142,7 +142,6 @@ representation." (documentation "Load kernel modules.") (provision '(kernel-module-loader)) (requirement '(file-systems)) - (respawn? #f) (one-shot? #t) (modules `((srfi srfi-1) (srfi srfi-34) diff --git a/gnu/services/shepherd.scm b/gnu/services/shepherd.scm index bad089844d..9906ae43c4 100644 --- a/gnu/services/shepherd.scm +++ b/gnu/services/shepherd.scm @@ -291,6 +291,13 @@ and return the resulting '.go' file." (default-environment-variables '("PATH=/run/current-system/profile/bin")) + ;; Booting off a DVD, especially on a slow machine, can make + ;; everything slow. Thus, increase the timeout compared to the + ;; default 5s in the Shepherd 0.7.0. See + ;; <https://bugs.gnu.org/40572>. + ;; XXX: Use something better when the next Shepherd is out. + (set! (@@ (shepherd service) %pid-file-timeout) 30) + ;; Arrange to spawn a REPL if something goes wrong. This is better ;; than a kernel panic. (call-with-error-handling |