Adding all last updates to repo

Please add and commit when you change someting!
2020-05-26 12:00:06 +00:00
parent 9751bbde0f
commit c82885fcd2
10 changed files with 156 additions and 7 deletions
--- a/HowToStart/1_1_setup_new_environment.md
+++ b/HowToStart/1_1_setup_new_environment.md
@@ -14,7 +14,7 @@ Alternativ kannst du dich per ssh mit dem Server verbinden, dazu in deine ~/.ssh
 Wenn du kein Linux haben solltest google "Proxycommand Windows". 

    :::bash
-    Host andisgeheimemaschine #ANDIS ich kenn die VM nicht
+    Host 192.168.86.139 #vom Sputnik aus
    ProxyCommand ssh peter@sputnik.htu.tuwien.ac.at -W %h:%p