You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
523 B
22 lines
523 B
#!/bin/sh |
|
|
|
set -x; |
|
|
|
GENDIR=~/dierundestundegen |
|
TMPGIT_POSTS=$GENDIR/drs-posts |
|
GIT_POSTS=https://kollegen.uber.space/gitea/dierundestunde/drs-posts.git |
|
|
|
# For the very first time: create dir |
|
if [ ! -d $TMPGIT_POSTS ] |
|
then |
|
mkdir -v $TMPGIT_POSTS |
|
fi |
|
|
|
# Check, if there is really the repro inside |
|
if [ ! -d $TMPGIT_POSTS/.git ] |
|
then |
|
# jetzt clonen wir das Repository in den temporären Ordner |
|
git clone $GIT_POSTS $TMPGIT_POSTS 2>&1 | tee -a $LOG |
|
else |
|
env -i git -C $TMPGIT_POSTS pull 2>&1 | tee -a $LOG |
|
fi
|
|
|