diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2020-09-09 15:04:52 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-09-09 15:04:52 +0200 |
commit | 25ef69650687f0fca9951bdcb16b2b3679a0601d (patch) | |
tree | eee80b51a0a0e1c573f16cbb9c8a971000603f31 /etc/private/vm-login | |
parent | 1a4a071568116f1131507f692f5618d5e5748b71 (diff) |
Updates to private install infrastructure and instructions
Diffstat (limited to 'etc/private/vm-login')
-rwxr-xr-x | etc/private/vm-login | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/private/vm-login b/etc/private/vm-login index 4573cba..28e8864 100755 --- a/etc/private/vm-login +++ b/etc/private/vm-login @@ -6,8 +6,7 @@ # usage="usage: $0 <console-socket>" -owd="$(pwd)" -trap "{ cd '$owd'; exit 1; }" ERR +trap "{ exit 1; }" ERR set -o errtrace # Trap in functions. function info () { echo "$*" 1>&2; } |