diff options
author | Andrew Cady <d@jerkface.net> | 2023-08-27 11:15:23 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2023-08-27 11:15:23 -0400 |
commit | b01d26fcc596f46f20207f17636331f7916bb0ac (patch) | |
tree | c5b26e15de8988b0a1484a82c08657f322467349 /src/rpc.main.bash | |
parent | 0ffdac14345e4c7de708e75e98a9a9e3aaa9fefb (diff) |
bashrpc cleanups
Diffstat (limited to 'src/rpc.main.bash')
-rw-r--r-- | src/rpc.main.bash | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/rpc.main.bash b/src/rpc.main.bash index 9fba425..c34296e 100644 --- a/src/rpc.main.bash +++ b/src/rpc.main.bash | |||
@@ -17,6 +17,8 @@ our_main() | |||
17 | 17 | ||
18 | main1() | 18 | main1() |
19 | { | 19 | { |
20 | # local -a BASH_RPC_SSH_OPTIONS=('-4' '-6' '-4') | ||
21 | with_ssh_options -4 -6 -4 -- \ | ||
20 | remote_run_function fudge "$@" | 22 | remote_run_function fudge "$@" |
21 | } | 23 | } |
22 | 24 | ||
@@ -49,7 +51,7 @@ gudge() | |||
49 | 51 | ||
50 | fudge() | 52 | fudge() |
51 | { | 53 | { |
52 | read -p 'Name? ' && gudge "$@" | 54 | read -p "[$(hostname)] Name? " && gudge "$@" |
53 | exit | 55 | exit |
54 | } | 56 | } |
55 | 57 | ||