mirror of
https://github.com/CoolProp/CoolProp.git
synced 2026-01-12 15:38:29 -05:00
93f4a986e2
Found via `codespell -i 3 -w -I ../coolprop-word-whitelist.txt` whereby whitelist consists of: ``` cas formate hel nd te tim ue uint ```
54 lines
1.4 KiB
Bash
54 lines
1.4 KiB
Bash
#!/bin/bash
|
|
#
|
|
# This script relies on a modified ~/.ssh/config to specify the
|
|
# correct identity files to be used with the host aliases
|
|
# git.code.sf.net-ibell, git.code.sf.net-jorritw and
|
|
# github.com-jowr.
|
|
#
|
|
# Work around for Cron:
|
|
USER=coolprop
|
|
source /home/$USER/.bash_profile
|
|
#
|
|
ORIGIN="https://github.com/CoolProp/CoolProp.git"
|
|
ORIGIN_SRC="ssh://github.com-jowr/CoolProp/CoolProp.git"
|
|
MIRROR="ssh://git.code.sf.net-jorritw/p/coolprop/git"
|
|
#
|
|
function createRepo {
|
|
local GITOPT="$1"
|
|
local SOURCE="$2"
|
|
local FOLDER="$3"
|
|
if [ ! -d $FOLDER ]; then # repo does not exist, clone it
|
|
local BASEFOLDER=${FOLDER%/*}
|
|
local REPOFOLDER=${FOLDER##*/}
|
|
mkdir -p $BASEFOLDER
|
|
pushd $BASEFOLDER
|
|
git clone $GITOPT $SOURCE $REPOFOLDER
|
|
popd
|
|
fi
|
|
return 0
|
|
}
|
|
#
|
|
CURFOLDER="/home/$USER/src/CoolProp.git"
|
|
createRepo "--mirror" "$ORIGIN" "$CURFOLDER"
|
|
pushd $CURFOLDER
|
|
git fetch --force --all # $ORIGIN
|
|
git branch -D coverity_scan
|
|
git push --force --mirror $MIRROR
|
|
popd
|
|
#
|
|
CURFOLDER="/home/$USER/src/CoolPropFull.git"
|
|
createRepo "--recursive" "$ORIGIN" "$CURFOLDER"
|
|
pushd $CURFOLDER
|
|
git checkout -B master origin/master
|
|
git pull
|
|
popd
|
|
#
|
|
CURFOLDER="/home/$USER/src/CoolPropCoverity.git"
|
|
createRepo " " "$ORIGIN_SRC" "$CURFOLDER"
|
|
pushd $CURFOLDER
|
|
git checkout -B master origin/master
|
|
git pull
|
|
#git push origin +master:coverity_scan
|
|
popd
|
|
exit 0
|