This commit is contained in:
USER
2023-06-23 22:21:47 +01:00
parent e1b50b309a
commit 9e634a1dad

View File

@ -2,46 +2,48 @@
# #
echo "SCRIPT $0 starting" echo "SCRIPT $0 starting"
pull_repo () { clone_repo () {
if [ ! -d ${ZZ} ] if [ ! -d ${DIR} ]
then then
mkdir ${ZZ} mkdir -p ${DIR}
fi fi
for i in ${REPO} for i in ${REPO}
do do
echo $i echo $i
if [ ! -d ${ZZ}/$i ] if [ ! -d ${DIR}/$i ]
then then
echo $i echo $i
cd ${ZZ} cd ${DIR}
git clone ${REPOSITE}/${i}.git git clone ${REPOSITE}/${i}.git
# GIT_SSH_COMMAND="ssh -o 'StrictHostKeyChecking no' -i ${KEYS}" git clone ${REPOSITE}/${i}.git # GIT_SSH_COMMAND="ssh -o 'StrictHostKeyChecking no' -i ${KEYS}" git clone ${REPOSITE}/${i}.git
fi fi
done done
} }
ZZ=XXXXXXXXXXX ZZ=~/XXXXXX
if [ ! -d ${ZZ} ] if [ ! -d ${ZZ} ]
then then
mkdir -p ${ZZ}/private mkdir -p ${ZZ}/private
mkdir -p ${ZZ}/public mkdir -p ${ZZ}/public
fi fi
PRIVATE_SITE=XXXXXXXXXXXXX PRIVATE_SITE=ssh://git@x.y.com:PORT/USER
PRIVATE_KEYS= PRIVATE_KEYS=~/YYY
PRIVATE='XXX XXXX' PRIVATE="x y x"
PUBLIC='XXX XXXX' PUBLIC="x y z"
REPOSITE=${PRIVATE} REPOSITE=${PRIVATE_SITE}
REPO=${PRIVATE_REPO} REPO=${PRIVATE_REPO}
KEYS=${PRIVATE_KEYS} KEYS=${PRIVATE_KEYS}
pull_repo DIR=${ZZ}/private
clone_repo
REPO=${PUBLIC} REPO=${PUBLIC}
pull_repo DIR=${ZZ}/public
clone_repo
exit 0 exit 0