diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2019-12-23 16:05:04 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-01-06 12:20:21 +0200 |
| commit | c27710859c3cb59c439571ddc56cf71c36a1c33c (patch) | |
| tree | 139fafebc5aed2801440ef7d19fc4eb850d7317d /gnu | |
| parent | 837da4d36ec0b0ee65ddd9cda7f6980ca62f434c (diff) | |
system: linux-container: Recommend guix container.
* gnu/system/linux-container.scm (container-script)[script]: Recommend
using 'guix container' to get a shell inside the running container.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/system/linux-container.scm | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gnu/system/linux-container.scm b/gnu/system/linux-container.scm index 2ab679ff3f1..c8807398b3a 100644 --- a/gnu/system/linux-container.scm +++ b/gnu/system/linux-container.scm | |||
| @@ -2,6 +2,7 @@ | |||
| 2 | ;;; Copyright © 2015 David Thompson <davet@gnu.org> | 2 | ;;; Copyright © 2015 David Thompson <davet@gnu.org> |
| 3 | ;;; Copyright © 2016, 2017, 2019 Ludovic Courtès <ludo@gnu.org> | 3 | ;;; Copyright © 2016, 2017, 2019 Ludovic Courtès <ludo@gnu.org> |
| 4 | ;;; Copyright © 2019 Arun Isaac <arunisaac@systemreboot.net> | 4 | ;;; Copyright © 2019 Arun Isaac <arunisaac@systemreboot.net> |
| 5 | ;;; Copyright © 2020 Efraim Flashner <efraim@flashner.co.il> | ||
| 5 | ;;; | 6 | ;;; |
| 6 | ;;; This file is part of GNU Guix. | 7 | ;;; This file is part of GNU Guix. |
| 7 | ;;; | 8 | ;;; |
| @@ -194,11 +195,13 @@ that will be shared with the host system." | |||
| 194 | (define (explain pid) | 195 | (define (explain pid) |
| 195 | ;; XXX: We can't quite call 'bindtextdomain' so there's actually | 196 | ;; XXX: We can't quite call 'bindtextdomain' so there's actually |
| 196 | ;; no i18n. | 197 | ;; no i18n. |
| 198 | ;; XXX: Should we really give both options? 'guix container exec' | ||
| 199 | ;; is a more verbose command. Hard to fail to enter the container | ||
| 200 | ;; when we list two options. | ||
| 197 | (info (G_ "system container is running as PID ~a~%") pid) | 201 | (info (G_ "system container is running as PID ~a~%") pid) |
| 198 | ;; XXX: Should we recommend 'guix container exec'? It's more | 202 | (info (G_ "Run 'sudo guix container exec ~a /run/current-system/profile/bin/bash --login'\n") |
| 199 | ;; verbose and doesn't bring much. | ||
| 200 | (info (G_ "Run 'sudo nsenter -a -t ~a' to get a shell into it.~%") | ||
| 201 | pid) | 203 | pid) |
| 204 | (info (G_ "or run 'sudo nsenter -a -t ~a' to get a shell into it.~%") pid) | ||
| 202 | (newline (guix-warning-port))) | 205 | (newline (guix-warning-port))) |
| 203 | 206 | ||
| 204 | (call-with-container file-systems | 207 | (call-with-container file-systems |
