Git: use jump server

2023-05-15 08:27:31 -03:00 · 2023-05-15 08:27:31 -03:00 · d613617eb4
parent b969e281ce
commit d613617eb4
1 changed files with 8 additions and 0 deletions
--- a/Git.md
+++ b/Git.md
@ -33,3 +33,11 @@ git log -S <string> archivo
 ```
 git clean
 ```
+
+## Usar jump server
+
+Sirve para [[Internet censurado en escuelas con Plan Sarmiento]]
+
+```
+GIT_SSH_COMMAND="ssh -J ubuntu@10.0.0.1:993" git pull
+```