v1.6.0 #78

Merged
muellerr merged 147 commits from develop into main 2021-08-09 16:08:26 +02:00
Showing only changes of commit fc769be789 - Show all commits

View File

@ -8,7 +8,13 @@ def main():
cmd = build_cmd(args) cmd = build_cmd(args)
# Run the command # Run the command
print(f'Running command: {cmd}') print(f'Running command: {cmd}')
os.system(cmd) result = os.system(cmd)
if result != 0:
print('')
print('Removing problematic SSH key and trying again..')
remove_ssh_key_cmd = 'ssh-keygen -f "${HOME}/.ssh/known_hosts" -R "[localhost]:1535"'
os.system(remove_ssh_key_cmd)
result = os.system(cmd)
def handle_args(): def handle_args():