make directory configurable
All checks were successful
All checks were successful
This commit is contained in:
@@ -34,10 +34,12 @@ changeDir() {
|
|||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
if [ ! -d "/home/user/pkg" ]; then
|
DIR="${WORKSPACE:-/home/user/pkg}"
|
||||||
git clone "$REPO" /home/user/pkg || exit $?
|
|
||||||
|
if [ ! -d "$DIR" ]; then
|
||||||
|
git clone "$REPO" "$DIR" || exit $?
|
||||||
fi
|
fi
|
||||||
cd /home/user/pkg && \
|
cd "$DIR" && \
|
||||||
checkoutCommit && \
|
checkoutCommit && \
|
||||||
applyPatch && \
|
applyPatch && \
|
||||||
sudo pacman -Syu --noconfirm --noprogressbar &&\
|
sudo pacman -Syu --noconfirm --noprogressbar &&\
|
||||||
|
|||||||
Reference in New Issue
Block a user