chore: A bunch of things

2023-12-07 19:04:17 +00:00
parent 0d8809b596
commit 9a42d0e71a
7 changed files with 16 additions and 38 deletions
--- a/.ssh/config
+++ b/.ssh/config
@@ -9,7 +9,7 @@ Host gon
    ControlPath    ~/.ssh/session.%r@%h:%p
    ControlPersist 5m

-Host search
+Host Search
    ControlMaster  auto
    HostName       s7edu2.di.uminho.pt
    User           pg53595