diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 16:26:19 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 16:26:19 +0900 |
commit | c82746f2aee8c6beeabf3139379800b0e8caae3f (patch) | |
tree | 8f56690f2ccd956f872250d45127a3ac0858fbbd | |
parent | 29c65d4bd4d0b015ae225ca22f9fc3cc4a110ce8 (diff) |
guix-operate: Update.
-rwxr-xr-x | jobs/guix-operate.run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jobs/guix-operate.run b/jobs/guix-operate.run index 534f5d2..5fe29bc 100755 --- a/jobs/guix-operate.run +++ b/jobs/guix-operate.run @@ -1,3 +1,3 @@ #!/usr/bin/env bash -set -euo pipefail +set -xeuo pipefail guix "$cmd" $args |