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-09-15 14:53:19 +00:00
|
|
|
mkdir -p $prefix/bin
|
|
|
|
|
2015-01-30 17:17:02 +00:00
|
|
|
rm -rf $prefix/bin/git-hawser*
|
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
|
|
|
|
2015-01-30 17:17:02 +00:00
|
|
|
git hawser init
|