diff options
Diffstat (limited to 'refresh')
-rwxr-xr-x | refresh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/refresh b/refresh deleted file mode 100755 index eb12cb1..0000000 --- a/refresh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/bash - -set -e - -file=$1 -key=$2 -value=$3 - -if [[ -r $file ]] -then - old=$(<"$file") -fi - -if [[ $value != $old ]] -then - echo $value > $file - echo Changed: $key -fi |