From db4b3717cfd3ba17b40dae57a2f327e91f831bf8 Mon Sep 17 00:00:00 2001 From: imp Date: Thu, 27 Feb 2014 21:46:31 +0000 Subject: Move to dist, per layout standards --- scripts/index-filter.sh | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100755 scripts/index-filter.sh (limited to 'scripts/index-filter.sh') diff --git a/scripts/index-filter.sh b/scripts/index-filter.sh new file mode 100755 index 0000000..d68238a --- /dev/null +++ b/scripts/index-filter.sh @@ -0,0 +1,15 @@ +#!/bin/bash + +set -e +set -o pipefail + +git ls-files -s | tee /tmp/bar | sed -n -f ${SCRIPTS}/rewrite-paths.sed | tee /tmp/foo | \ + GIT_INDEX_FILE=$GIT_INDEX_FILE.new git update-index --index-info + +if [ -f "$GIT_INDEX_FILE.new" ] ; then + mv "$GIT_INDEX_FILE.new" "$GIT_INDEX_FILE" +else + rm "$GIT_INDEX_FILE" +fi + +exit 0 -- cgit v1.1