Alias para servidores Git

Si tenemos una cuenta en algún servidor de Git, quizás queramos crearnos un alias del protocolo y servidor para no tener que poner la url entera cada vez que lo usamos. Aquí pongo la forma genérica y algunos ejemplos reales. 
# The general use:
git config --global url.ssh://[login@][git_server]/.insteadof [name]:
 
# Example with GNOME. I will use my own username for the example: jojeda
git config --global url.ssh://jojeda@git.gnome.org/git/.insteadof gnome:
 
# Example with GNOME if you don't have a GNOME account:
git config --global url.git://git.gnome.org/.insteadof gnome:
 
# Now I can use it like:
git clone gnome:nanny
 
 
# Example with Github. I will use my own username for the example: juanje
git config --global url.git://github.com/juanje/.insteadof github:
 
# Now I can use it like:
git clone github:baker
 
 
# Example with Gitorious. I will use my own username for the example: Juanje
git config --global url.git://gitorious.org/~Juanje/.insteadof gito:
 
# Now I can use it like:
git clone gito:live-helper-mirror/live-helper-guadalinex
Lenguaje: 
bash
Enviado por jojeda el Mar, 23/02/2010 - 01:37.
Tags:
»