diff options
Diffstat (limited to 'flags.sh')
-rwxr-xr-x | flags.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/flags.sh b/flags.sh deleted file mode 100755 index 15a3a77..0000000 --- a/flags.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/env bash - -set -e - -echo "$@" >.newflags - -if [ -e .flags ] && cmp -s .flags .newflags; then - rm .newflags -else - mv .newflags .flags -fi |