diff options
author | Rosen Penev <rosenp@gmail.com> | 2020-01-05 18:32:37 -0800 |
---|---|---|
committer | Petr Štetiar <ynezz@true.cz> | 2020-07-11 13:33:28 +0200 |
commit | f80a540dbf9bf87e15f0f29da7f4019064ee207d (patch) | |
tree | d8e3364d97db0b71c351753be2cb175f43940a14 /scripts/env | |
parent | e68810ba5352d7db89a9975f2a2a8951fc9d5b2b (diff) | |
download | upstream-f80a540dbf9bf87e15f0f29da7f4019064ee207d.tar.gz upstream-f80a540dbf9bf87e15f0f29da7f4019064ee207d.tar.bz2 upstream-f80a540dbf9bf87e15f0f29da7f4019064ee207d.zip |
scripts/env: exit in case of failure to cd
Found with shellcheck.
Signed-off-by: Rosen Penev <rosenp@gmail.com>
Diffstat (limited to 'scripts/env')
-rwxr-xr-x | scripts/env | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/env b/scripts/env index 19cfa13841..848850a778 100755 --- a/scripts/env +++ b/scripts/env @@ -147,7 +147,7 @@ env_clear() { else rm -rf "$BASEDIR/files" "$BASEDIR/.config" fi - cd "$BASEDIR" + cd "$BASEDIR" || exit 1 rm -rf "$ENVDIR" } |