Searched refs:old_pfx (Results 1 - 2 of 2) sorted by relevance

/netbsd-current/external/gpl3/gcc.old/dist/contrib/
H A Dgcc-git-customization.sh124 old_pfx=$(git config --get "gcc-config.userpfx")
125 if [ "x$old_pfx" = "x" ]
127 old_pfx="me"
132 ask "personal area on the gcc server)" $old_pfx new_pfx
166 old_remote=$(git config --get "remote.${old_pfx}.url")
169 echo "Migrating remote \"${old_pfx}\" to new remote \"users/${new_pfx}\""
171 git config --replace-all "remote.${old_pfx}.fetch" "+refs/empty/*:refs/remotes/${old_pfx}/*"
173 git remote prune ${old_pfx}
174 git config --remove-section "remote.${old_pfx}"
[all...]
/netbsd-current/external/gpl3/gcc/dist/contrib/
H A Dgcc-git-customization.sh124 old_pfx=$(git config --get "gcc-config.userpfx")
125 if [ "x$old_pfx" = "x" ]
127 old_pfx="me"
132 ask "personal area on the gcc server)" $old_pfx new_pfx
170 old_remote=$(git config --get "remote.${old_pfx}.url")
173 echo "Migrating remote \"${old_pfx}\" to new remote \"users/${new_pfx}\""
175 git config --replace-all "remote.${old_pfx}.fetch" "+refs/empty/*:refs/remotes/${old_pfx}/*"
177 git remote prune ${old_pfx}
178 git config --remove-section "remote.${old_pfx}"
[all...]

Completed in 195 milliseconds