]> git.madduck.net Git - etc/ssh.git/commitdiff

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:

jump host for mother
authormartin f. krafft <madduck@madduck.net>
Tue, 17 Sep 2019 06:05:14 +0000 (08:05 +0200)
committermartin f. krafft <madduck@madduck.net>
Tue, 17 Sep 2019 06:05:14 +0000 (08:05 +0200)
.ssh/config.in

index ab97485e78a3ea35db758b51b069410c69af475d..463b92d18f372cb719f261903955e30a90cb9d80 100644 (file)
@@ -143,6 +143,10 @@ Host embryo.gauting.madduck.net | embryo
 
 Host mother.gauting | mother | mother.gauting.madduck.net
   Hostname mother.gauting
 
 Host mother.gauting | mother | mother.gauting.madduck.net
   Hostname mother.gauting
+Host mother-via-embryo
+  Hostname mother.gauting
+  ProxyJump embryo.gauting.madduck.net
+  AddressFamily inet
 Host mothere
   Hostname embryo.gauting.madduck.net
   Port 22021
 Host mothere
   Hostname embryo.gauting.madduck.net
   Port 22021