diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 16:25:53 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 16:25:53 +0900 |
| commit | 29c65d4bd4d0b015ae225ca22f9fc3cc4a110ce8 (patch) | |
| tree | de9cbe284bc009784bb3f1060ef236f9e8547666 | |
| parent | 17744ca1cf942d28d8354f144f491e292f8bedc6 (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 c16c112..534f5d2 100755 --- a/jobs/guix-operate.run +++ b/jobs/guix-operate.run @@ -1,3 +1,3 @@ #!/usr/bin/env bash - +set -euo pipefail guix "$cmd" $args |