diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-08-04 11:13:48 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-08-04 12:05:46 +0200 |
commit | ae1f12018112573bf142596b78d75dbfd723d859 (patch) | |
tree | 005cc487db26b3631b10f46335fe9fd935a58c46 /gnu/local.mk | |
parent | 18e00988176162ac736c873dc6cb06169b0aaa3b (diff) | |
download | guix-ae1f12018112573bf142596b78d75dbfd723d859.tar.gz guix-ae1f12018112573bf142596b78d75dbfd723d859.zip |
environment: Report "command not found" from the child process.
Fixes a bug whereby, for example:
guix shell bash -- bash -c xyz
would erroneously print:
guix shell: error: bash: command not found
simply because the parent process could not distinguish that 127 from a
"genuine" 127 used by convention for "command not found".
* guix/scripts/environment.scm (launch-environment): Before exiting,
report a "command not found" error and suggest a command name.
(validate-exit-status): Remove.
(launch-environment/fork): Remove call
(launch-environment/container)[exit/status*]: Remove.
Call 'exit/status' instead of it.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions