2013-11-05 23:15:21 +00:00
|
|
|
prefix="/usr/local"
|
|
|
|
|
2013-12-06 18:07:35 +00:00
|
|
|
if [ "$PREFIX" != "" ] ; then
|
|
|
|
prefix=$PREFIX
|
|
|
|
elif [ "$BOXEN_HOME" != "" ] ; then
|
|
|
|
prefix=$BOXEN_HOME
|
|
|
|
fi
|
|
|
|
|
2014-05-22 23:15:45 +00:00
|
|
|
rm -rf $prefix/bin/git-media*
|
2013-11-05 23:15:21 +00:00
|
|
|
for g in git*; do
|
|
|
|
cp $g "$prefix/bin/$g"
|
|
|
|
done
|
2013-11-05 23:31:22 +00:00
|
|
|
|
2013-12-11 17:21:45 +00:00
|
|
|
git config --global filter.media.clean "git-media-clean %f"
|
|
|
|
git config --global filter.media.smudge "git-media-smudge %f"
|