]>
git.madduck.net Git - etc/ssh.git/blobdiff - .ssh/config.in
madduck's git repository
Every one of the projects in this repository is available at the canonical
URL git://git.madduck.net/madduck/pub/<projectpath> — see
each project's metadata for the exact URL.
All patches and comments are welcome. Please squash your changes to logical
commits before using git-format-patch and git-send-email to
patches@ git. madduck. net .
If you'd read over the Git project's submission guidelines and adhered to them,
I'd be especially grateful.
SSH access, as well as push access can be individually
arranged .
If you use my repositories frequently, consider adding the following
snippet to ~/.gitconfig and using the third clone URL listed for each
project:
[url "git://git.madduck.net/madduck/"]
insteadOf = madduck:
Host vizier.madduck.net | vizier
ForwardAgent yes
Hostname vizier.madduck.net
Host vizier.madduck.net | vizier
ForwardAgent yes
Hostname vizier.madduck.net
+Host admin.madduck.net | admin
+ Hostname admin.madduck.net
+ HostKeyAlias vizier.madduck.net
+ User git
Host ambassador.madduck.net | ambassador
ForwardAgent yes
Host ambassador.madduck.net | ambassador
ForwardAgent yes
Host swan.madduck.net | swan
ForwardAgent yes
Hostname swan.madduck.net
Host swan.madduck.net | swan
ForwardAgent yes
Hostname swan.madduck.net
### ARNOLD / GPLHOST
Host arnold.madduck.net | arnold
### ARNOLD / GPLHOST
Host arnold.madduck.net | arnold
ForwardX11 yes
HostKeyAlias fishbowl
ForwardX11 yes
HostKeyAlias fishbowl
-Host galaxy-s2.phones.gern | galaxy-s2
- Hostname galaxy-s2.phones.gern
- HostKeyAlias galaxy-s2.phones.gern
- User root
-
Host pict.gern.madduck.net | pict
Hostname pict.gern.madduck.net
ForwardAgent yes
Host pict.gern.madduck.net | pict
Hostname pict.gern.madduck.net
ForwardAgent yes
Hostname nelson.debconf.org
ProxyCommand ssh people.debian.org nc -q0 %h %p
Hostname nelson.debconf.org
ProxyCommand ssh people.debian.org nc -q0 %h %p
+### PENNY
+
+Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
+ Hostname lion.mjollnir.org
+
### TILDE CLUB
Host remotes.club
### TILDE CLUB
Host remotes.club