denis/gra
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

handle already existing remotes

Browse source
This commit is contained in:
Denis Lehmann 2024-11-05 17:14:54 +01:00 • committed by Denis Lehmann
parent 5335adc901
commit 5b410035d7
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
gra
View file

@ -3,6 +3,7 @@
# Text formatting variables # Text formatting variables
text_reset=$'\e[0m' text_reset=$'\e[0m'
text_bold=$'\e[1m' text_bold=$'\e[1m'
text_yellow=$'\e[33m'
text_red=$'\e[31m' text_red=$'\e[31m'
function print_usage { function print_usage {
@ -19,6 +20,10 @@ OPTIONS
EOF EOF
} }
function warning {
echo -e "${text_bold}${text_yellow}WARNING${text_reset} $1"
}
function usage_error { function usage_error {
echo -e "${text_bold}${text_red}ERROR${text_reset} $1\n" echo -e "${text_bold}${text_red}ERROR${text_reset} $1\n"
print_usage print_usage
@ -94,7 +99,7 @@ remote_name="origin-${remote_name}"
# Add remote # Add remote
echo "Adding remote ${text_bold}${remote_name}${text_reset} with URL ${text_bold}${remote_url}${text_reset}" echo "Adding remote ${text_bold}${remote_name}${text_reset} with URL ${text_bold}${remote_url}${text_reset}"
if ! git remote add "$remote_name" "$remote_url"; then if ! git remote add "$remote_name" "$remote_url"; then
error "Failed to add remote ${text_bold}${remote_name}${text_reset}" warning "Failed to add remote ${text_bold}${remote_name}${text_reset}, trying to fetch..."
fi fi
# Fetch # Fetch