]>
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:
User madduck
HostKeyAlias pulse.madduck.net
#AddressFamily inet
User madduck
HostKeyAlias pulse.madduck.net
#AddressFamily inet
+Host ssh443.madduck.net | ssh443
+ User madduck
+ HostKeyAlias pulse.madduck.net
+ ForwardAgent yes
+ Port 443
+ #AddressFamily inet
+
+Host khyber.madduck.net | khyber
+ ForwardAgent yes
+ Hostname khyber.madduck.net
Host martin-krafft.net
User madduck
Host martin-krafft.net
User madduck
Host tunes.madduck.net | tunes
Hostname bell.madduck.net
HostKeyAlias bell.madduck.net
Host tunes.madduck.net | tunes
Hostname bell.madduck.net
HostKeyAlias bell.madduck.net
Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
Hostname sheep.umverkehr.ch
Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
Hostname sheep.umverkehr.ch
# AddressFamily inet
Host lust.oerlikon.madduck.net | lust | hermia
# AddressFamily inet
Host lust.oerlikon.madduck.net | lust | hermia
- Hostname rscguest.ex.ulcc.ac.uk
- AddressFamily inet
HostKeyAlias hermia.mjollnir.org
HostKeyAlias hermia.mjollnir.org
CheckHostIP no
Host mother.gauting.madduck.net | mother
CheckHostIP no
Host mother.gauting.madduck.net | mother
Hostname smetana.debian.org
User madduck
Hostname smetana.debian.org
User madduck
+Host cvs.debian.org
+ HostKeyAlias gluck.debian.org
+ User madduck
+
+Host people.debian.org
+ HostKeyAlias ravel.debian.org
+ User madduck
+
Host sergei.ifi.uzh.ch | sergei
Hostname sergei.ifi.uzh.ch
User krafft
Host sergei.ifi.uzh.ch | sergei
Hostname sergei.ifi.uzh.ch
User krafft