redirect to new server

This commit is contained in:
2018-10-13 03:54:06 +04:00
parent 24b2b79a28
commit 924390287b

View File

@@ -254,6 +254,9 @@ function update_.g {
return
fi
# force updating origin to new server
.g remote set-url origin https://gitea.abra.me/svxf/dotfiles.git
local RES="$(.g pull --no-stat 2>&1)"
if [[ $? != 0 ]]; then
@@ -261,13 +264,14 @@ function update_.g {
return
fi
if [[ ! $RES =~ "Already up.to.date" ]]; then
echo "Updated .g"
echo $RES
echo "======"
echo
zshreload
fi
# no verbose :(
# if [[ ! $RES =~ "Already up.to.date" ]]; then
# echo "Updated .g"
# echo $RES
# echo "======"
# echo
# zshreload
# fi
}
function .sh_setup {