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 | |
parent | 837da4d36ec0b0ee65ddd9cda7f6980ca62f434c (diff) | |
download | guix-c27710859c3cb59c439571ddc56cf71c36a1c33c.tar guix-c27710859c3cb59c439571ddc56cf71c36a1c33c.tar.gz |
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.
-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 2ab679ff3f..c8807398b3 100644 --- a/gnu/system/linux-container.scm +++ b/gnu/system/linux-container.scm @@ -2,6 +2,7 @@ ;;; Copyright © 2015 David Thompson <davet@gnu.org> ;;; Copyright © 2016, 2017, 2019 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2019 Arun Isaac <arunisaac@systemreboot.net> +;;; Copyright © 2020 Efraim Flashner <efraim@flashner.co.il> ;;; ;;; This file is part of GNU Guix. ;;; @@ -194,11 +195,13 @@ that will be shared with the host system." (define (explain pid) ;; XXX: We can't quite call 'bindtextdomain' so there's actually ;; no i18n. + ;; XXX: Should we really give both options? 'guix container exec' + ;; is a more verbose command. Hard to fail to enter the container + ;; when we list two options. (info (G_ "system container is running as PID ~a~%") pid) - ;; XXX: Should we recommend 'guix container exec'? It's more - ;; verbose and doesn't bring much. - (info (G_ "Run 'sudo nsenter -a -t ~a' to get a shell into it.~%") + (info (G_ "Run 'sudo guix container exec ~a /run/current-system/profile/bin/bash --login'\n") pid) + (info (G_ "or run 'sudo nsenter -a -t ~a' to get a shell into it.~%") pid) (newline (guix-warning-port))) (call-with-container file-systems |