Update sample .git-build
This commit is contained in:
parent
97b30951e4
commit
04071c907f
|
@ -5,20 +5,20 @@
|
||||||
|
|
||||||
# Add ~/bin to $PATH
|
# Add ~/bin to $PATH
|
||||||
grep "\$HOME/bin" $HOME/.bashrc > /dev/null
|
grep "\$HOME/bin" $HOME/.bashrc > /dev/null
|
||||||
[[ $? != 0 ]] && PATH="$PATH:/$HOME/bin"
|
[[ $? != 0 ]] && echo "PATH=\"$PATH:/$HOME/bin\"" >> $HOME/.bashrc && echo "Successfully setup ~/bin in the \$PATH. Please restart your session, or run: source ~/.bashrc"
|
||||||
|
|
||||||
# Wait for git-build.sh to stop running
|
# Wait for git-build.sh to stop running
|
||||||
SECONDS=0
|
SECONDS=0
|
||||||
# TODO: make timeout configurable
|
|
||||||
echo test
|
|
||||||
while [[ $SECONDS < 60 ]]; do
|
while [[ $SECONDS < 60 ]]; do
|
||||||
if [ ! -f $GITBUILDDIR/.LOCK ]; then
|
if [ ! -f $GITBUILDDIR/.LOCK ]; then
|
||||||
# Copy the script
|
# Copy the script
|
||||||
cp git-build.sh $HOME/bin
|
cp git-build.sh $HOME/bin
|
||||||
exit 0
|
exit 0
|
||||||
fi
|
fi
|
||||||
sleep 5
|
sleep 1
|
||||||
SECONDS=$(( SECONDS + 5 ))
|
SECONDS=$(( SECONDS + 1 ))
|
||||||
done
|
done
|
||||||
|
|
||||||
echo "The auto-updated script has timed out!"
|
echo "The auto-updated script has timed out!"
|
||||||
|
exit 1
|
||||||
|
|
Loading…
Reference in New Issue