Add theme git repo

This commit is contained in:
RealStickman 2021-03-08 19:39:59 +01:00
parent 0a856997aa
commit bf016a48ff

View File

@ -38,6 +38,13 @@ cd "$HOME/GitProjects/setup"
git fetch --all git fetch --all
git pull git pull
if [ ! -d "$HOME/GitProjects/theme" ]; then
git -C $WORKPATH clone git@gitlab.com:RealStickman-arcolinux/theme.git
fi
cd "$HOME/GitProjects/theme"
git fetch --all
git pull
: ' : '
if [ ! -d "$HOME/GitProjects/setup-pinephone" ]; then if [ ! -d "$HOME/GitProjects/setup-pinephone" ]; then
git -C $WORKPATH clone git@gitlab.com:RealStickman/setup-pinephone.git git -C $WORKPATH clone git@gitlab.com:RealStickman/setup-pinephone.git