Add PCS lab to SSH hosts

2022-11-18 13:59:45 +01:00 · 2022-11-18 13:59:45 +01:00 · 2bafe12889
commit 2bafe12889
parent fe83c4be25
3 changed files with 5 additions and 0 deletions
--- a/ssh/.ssh/config
+++ b/ssh/.ssh/config
@ -25,3 +25,8 @@ host kermit-gpu
    hostname bw26gpu1.ugent.be
    port 4480
    identityfile ~/.ssh/kermit-gpu
+
+Host pcs_lab
+    user git
+    hostname github.ugent.be
+    identityfile ~/.ssh/pcs_lab_deploy_key
--- a/ssh/.ssh/known_hosts
+++ b/ssh/.ssh/known_hosts
--- a/ssh/.ssh/pcs_lab_deploy_key
+++ b/ssh/.ssh/pcs_lab_deploy_key