Users can request an SVN or CVS repository that is accessible from outside the CSE network.
However one can easily create one's own GIT repository and access it by SSH.
When conneting via the CA VPN (or Eduroam wifi in the campus), one can simply use use a repository in the form:
ssh://<csuser>@<cshost>.cs.huji.ac.il/<repository>
For example:
ssh://csuser@river.cs.huji.ac.il/~csuser/Projects/C_Example
In case the connection is done through bava.cs.huji.ac.il jump host, a tunnel should be created:
First dig a tunnel:
ssh -L <port>:<cshost>:22 -fN <csuser>@bava.cs.huji.ac.il
where
<port> is an unprivileged port number (on your local machine) e.g. 9999<cshost> is a CSE server e.g. river<csuser> is your CSE usernameFor example:
ssh -L 9999:river:22 -fN csuser@bava.cs.huji.ac.il
Then set your git repository to:
ssh://<csuser>@localhost:<port><repository>
where
<repository> is the path to your GIT repository (on the CSE file system)For example:
ssh://csuser@localhost:9999/~csuser/Projects/C_Example
Thanks to Yuval Sedan for providing the commands.
Suggestions for variations and/or abbreviations are welcome!