diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-23 18:41:55 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-23 18:57:00 +0000 |
| commit | 0f97f15a8d183c6b14894f47c40968e92104181d (patch) | |
| tree | 2f95bc4c23927f4a7c307be6d6b7170f9d421e02 /reproduce/src/bash/git-post-checkout | |
| parent | 8a0ebd90913231285e443df024b7d2958d0b8bc9 (diff) | |
Removing files ending with a ~ in the git checkout hook
While editing files, some editors create temporary `~' files that can cause
problems in metastore's ability to delete their host directory if its not
on the other branch. With this commit, a `find' call was added to the post
checkout Git hook to remove such temporary files before metastore is
called.
Also, some comments were added to both git hooks to make them easier to
understand for a beginner.
Diffstat (limited to 'reproduce/src/bash/git-post-checkout')
| -rw-r--r-- | reproduce/src/bash/git-post-checkout | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/reproduce/src/bash/git-post-checkout b/reproduce/src/bash/git-post-checkout index 25dc2ac..e2a0fd0 100644 --- a/reproduce/src/bash/git-post-checkout +++ b/reproduce/src/bash/git-post-checkout @@ -9,8 +9,13 @@ # special characters for the installation location of meta-store so our own # installation is found by Git. +# File containig the metadata. MSFILE=".file-metadata" +# Delete all temporary files +find @TOP_PROJECT_DIR@/ -name "*~" -type f -delete + +# Function to help in reporting a crash. exit_on_fail() { "$@" if [ $? -ne 0 ]; then @@ -19,12 +24,15 @@ exit_on_fail() { fi } +# Check if the metadata file exists. if [ ! -e "$MSFILE" ]; then echo "\"$MSFILE\" missing" >&2 exit 1 fi +# Run metastore. exit_on_fail \ @BINDIR@/metastore -a -m -e -E -q -O @USER@ -G @GROUP@ -f "$MSFILE" +# Return with a success code (0). exit 0 |