Freshmile : nouvelle entreprise pour le boulot !

* changement de la configuration Git * abandon des raccourcis vers RERO avec la commande `wd` * nouveau serveur SSH * ajour de phpstorm (de chez Jetbrains) dans la config i3wm
2021-06-10 08:33:09 +02:00
parent 681617549b
commit 28312ece5e
4 changed files with 20 additions and 9 deletions
--- a/.ssh/config
+++ b/.ssh/config
@ -84,3 +84,9 @@ Host odt
 Hostname 46.105.123.113
 User od
 Port 22
+
+# Proxy Freshmile pour Gireve
+Host proxy
+Hostname 163.172.155.15
+User root
+Port 22