Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/get-assignment
diff options
context:
space:
mode:
authorErich Eckner <erich.eckner.ext@bestsecret.com>2023-05-22 16:22:29 +0200
committerErich Eckner <erich.eckner.ext@bestsecret.com>2023-05-22 16:22:29 +0200
commit62f871fb25b70860364b0023745c0f31516e69d0 (patch)
tree8efdaff49293547ee945ff0d10612187a3b06594 /bin/get-assignment
parentd14686b0bdc0b2418300c5d34d5f13c19988f020 (diff)
make shellcheck happy
Diffstat (limited to 'bin/get-assignment')
-rwxr-xr-xbin/get-assignment1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/get-assignment b/bin/get-assignment
index 6abfaef..25281e6 100755
--- a/bin/get-assignment
+++ b/bin/get-assignment
@@ -96,6 +96,7 @@ if ! verbose_flock -s -n 8; then
fi
clean_up() {
+ # shellcheck disable=SC2317
rm -rf --one-file-system "${tmp_dir}"
}