1
0
Fork 0

Make the directory persistent

master
LEdoian 5 years ago
parent 724f69c288
commit 991281b8cb

@ -15,6 +15,7 @@ from typing import *
# Usage: $0 remote.host.name md1 ...
host: str
directory: str = None
def main():
if len(sys.argv) < 3:
@ -63,7 +64,7 @@ def parse_snippet(s: Tuple[str, str]) -> Sequence[Command]:
# We now check the separate lines and possibly tweak them (e.g. by removing sudo-s)
lines = s[1].split('\n')
directory = None # Don't cd by default
global directory
result = []
for line in lines:
user = None # This allows (in conjunction with the right order of arguments to 'ssh') to specify the default user in the hostname (as 'user@host.name')

Loading…
Cancel
Save