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