diff options
| -rw-r--r-- | git.html | 2 |
1 files changed, 1 insertions, 1 deletions
| diff --git a/git.html b/git.html index afe3bcc..85aa781 100644 --- a/git.html +++ b/git.html | |||
| @@ -25,7 +25,7 @@ ssh git ls</pre> | |||
| 25 | HostName git.0druid.cc | 25 | HostName git.0druid.cc |
| 26 | User git | 26 | User git |
| 27 | Port 3447 | 27 | Port 3447 |
| 28 | IdentityFile ~/.ssh/id | 28 | IdentityFile ~/.ssh/id_ed25519 |
| 29 | ProxyCommand sh -c "nc -z -w 1 %h 47910; exec nc %h %p"</pre> | 29 | ProxyCommand sh -c "nc -z -w 1 %h 47910; exec nc %h %p"</pre> |
| 30 | <p>the serv host is the server itself, it knocks a secret port before ssh answers so scanners see nothing. the git host is the same machine, same deal.</p> | 30 | <p>the serv host is the server itself, it knocks a secret port before ssh answers so scanners see nothing. the git host is the same machine, same deal.</p> |
| 31 | <p>profiles: push a repo named the same as your username (like druid520/druid520) with a profile.png and a readme.djot in it, first line like this:</p> | 31 | <p>profiles: push a repo named the same as your username (like druid520/druid520) with a profile.png and a readme.djot in it, first line like this:</p> |
