From 4fe01b54bb2f58537e6497533d7918f4f67d68b7 Mon Sep 17 00:00:00 2001 From: Daniel Flanagan Date: Tue, 28 Jan 2020 11:05:17 -0600 Subject: [PATCH] Add nice whitespace to remote script --- bin/remote | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bin/remote b/bin/remote index 8de7aef..98490c6 100755 --- a/bin/remote +++ b/bin/remote @@ -1,9 +1,11 @@ #!/usr/bin/env moon + arg_spec = { {"target", "REMOTE_MACHINE", "remote"} {"mpr", "MOSH_PORT_RANGE", "60000:61000"} {"sargs", "SSH_ARGS", "-XY"} {"margs", "MOSH_ARGS", ""} } + args = {v[1], os.getenv(v[2]) or arg[i] or v[3] for i, v in ipairs(arg_spec)} os.execute "mosh -p '#{args.mpr}' '#{args.target}' --ssh='ssh #{args.sargs}' #{args.margs}"