• articles


  • git

The server hosting the GIT repository has moved to an new domain name. Now is very painfull to update manually so here is quick command to find all the GIT config files and replace the old domain name with the new domain name.

find . -type f -name "config" -exec sed -i 's/' {} ;