diff options
Diffstat (limited to 'script/mk-darcs-weak-hash')
| -rw-r--r-- | script/mk-darcs-weak-hash | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/script/mk-darcs-weak-hash b/script/mk-darcs-weak-hash deleted file mode 100644 index 0836354..0000000 --- a/script/mk-darcs-weak-hash +++ /dev/null @@ -1,4 +0,0 @@ -#!/usr/bin/env dash -base_dir=$(cd -- "$(dirname -- "$0")/.." && pwd) -darcs show repo \ - | awk '/^[[:space:]]*Weak Hash:/ { sub(/^[[:space:]]*Weak Hash:[[:space:]]*/, "", $0); printf $0 }' > "$base_dir/_darcs/weak_hash" |