In lokale SSH config einfügen:
Host hg hf hi
User <nutzer>
HostName hummel2.rrz.uni-hamburg.de
IdentityFile ~/.ssh/id_rsa_hummel
from typing import List, Optional | |
from ..Script import Script | |
class RemoveReheat(Script): | |
def getSettingDataString(self): | |
return """{ | |
"name": "Remove Reheat", | |
"key": "RemoveReheat", |