[ssh] Add HPC key
This commit is contained in:
		
							parent
							
								
									a00c63628d
								
							
						
					
					
						commit
						dcde2f237f
					
				
					 8 changed files with 61 additions and 114 deletions
				
			
		|  | @ -16,6 +16,20 @@ | |||
|           identityFile = "/run/secrets/Hugo/ssh"; | ||||
|           user = "admin"; | ||||
|         }; | ||||
|         "HPC" = { | ||||
|           hostname = "login.hpc.ugent.be"; | ||||
|           identitiesOnly = true; | ||||
|           identityFile = "/run/secrets/UGent/HPC/ssh"; | ||||
|           user = "vsc44995"; | ||||
|         }; | ||||
| 
 | ||||
|         # Git authentication | ||||
|         "git.depeuter.dev" = { | ||||
|           hostname = "git.depeuter.dev"; | ||||
|           identitiesOnly = true; | ||||
|           identityFile = "/run/secrets/Hugo/Gitea/ssh"; | ||||
|           user = "tdpeuter"; | ||||
|         }; | ||||
|         "github.com" = { | ||||
|           hostname = "github.com"; | ||||
|           identitiesOnly = true; | ||||
|  | @ -25,13 +39,7 @@ | |||
|         "github.ugent.be" = { | ||||
|           hostname = "github.ugent.be"; | ||||
|           identitiesOnly = true; | ||||
|           identityFile = "/run/secrets/GitHub-UGent/ssh"; | ||||
|           user = "tdpeuter"; | ||||
|         }; | ||||
|         "git.depeuter.dev" = { | ||||
|           hostname = "git.depeuter.dev"; | ||||
|           identitiesOnly = true; | ||||
|           identityFile = "/run/secrets/H4Git/ssh"; | ||||
|           identityFile = "/run/secrets/UGent/GitHub/ssh"; | ||||
|           user = "tdpeuter"; | ||||
|         }; | ||||
|       }; | ||||
|  |  | |||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue