wiseadvice_public_repos
/
wa_public_init_repo
5
0
Fork 0
Code

commit by to_remotes 2024-05-03 13:20:40 +0200 from vmdevhw

main
Holger Wasem 2024-05-03 13:20:40 +02:00
parent a6886d4beb
commit 29bf195b45
1 changed files with 19 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
common_lib.sh
View File

@ -10,11 +10,11 @@ function init_repos(){
else else
echo -n "client name: " echo -n "client name: "
read -r CLIENT_NAME read -r CLIENT_NAME
echo -n "deploy key suffix. Leave blank if first: "
read -r DEPLOY_KEY_SUFFIX
if [ ! -f $HOME/.ssh/deploy_key ]; then if [ ! -f $HOME/.ssh/deploy_key ]; then
echo -n "deploy key suffix. Leave blank if first key to be deployed for user: "
read -r DEPLOY_KEY_SUFFIX
echo "create ssh key" echo "create ssh key"
echo -n "ssh passphrase: " echo -n "ssh passphrase: "
@ -94,7 +94,8 @@ EOT
function clone_repo_with_retry(){ function clone_repo_with_retry(){
REPO_NAME=$1 REPO_NAME=$1
echo "starting to pull into $(pwd)" echo "starting to pull into $(pwd) with command"
echo "git clone git@git.service.wiseadvice.eu:wiseadvice_apps/$REPO_NAME.git -b main"
git clone git@git.service.wiseadvice.eu:wiseadvice_apps/$REPO_NAME.git -b main git clone git@git.service.wiseadvice.eu:wiseadvice_apps/$REPO_NAME.git -b main
if [ "$?" != "0" ]; then if [ "$?" != "0" ]; then
echo " " echo " "