To connect to the cluster using VS-code (Which allows, on a single log on, remote code writing and execution, transferring files, using terminal) follow the following steps:
1. install the VS-code remote-ssh extension on your machine.
2. Edit your SSH config file to contain the following: (The file is probably in C:/Users/<user>/.ssh/config, you can also check with ctrl+shift+p in VS-code and selecting Remote-SSH: Open SSH Configuration File...) (Replace <user> with your username)
1Host river
2 HostName river
3 ProxyJump <user>@bava.cs.huji.ac.il
4 User <user>
5
6Host bava
7 HostName bava.cs.huji.ac.il
8 User <user>
ctr+shift+p and select Remote-SSH: Connect to host, then river. Then select the folder you wish to open. Note: changing folder required a relog.