diff options
author | Andrew Cady <d@jerkface.net> | 2023-08-26 11:38:35 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2023-08-26 11:38:35 -0400 |
commit | 0ffdac14345e4c7de708e75e98a9a9e3aaa9fefb (patch) | |
tree | 73f3140a4f72f0390c20a3548d8a35a98c1acbc1 /src/rpc.bash | |
parent | 0746a110202ad67bf771e4d6072730c8a5c4744f (diff) |
documentation
Diffstat (limited to 'src/rpc.bash')
-rw-r--r-- | src/rpc.bash | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/rpc.bash b/src/rpc.bash index 99ea7e2..e7216a5 100644 --- a/src/rpc.bash +++ b/src/rpc.bash | |||
@@ -50,11 +50,10 @@ recursive_dependencies() | |||
50 | 50 | ||
51 | # Input: $BASH_RPC_REMOTE_DEST - hostname passed to ssh (uses ssh host aliases) | 51 | # Input: $BASH_RPC_REMOTE_DEST - hostname passed to ssh (uses ssh host aliases) |
52 | # Input: $BASH_RPC_SSH_OPTIONS - option arguments passed to ssh (they precede '--') | 52 | # Input: $BASH_RPC_SSH_OPTIONS - option arguments passed to ssh (they precede '--') |
53 | # Input; $BASH_RPC_STDIN_IS_TTY - controls whether to allocate ssh pty. Doesn't work. | 53 | # Input: "$0" - copied to remote bash's $0 |
54 | # Input: $1 - shell script source code to run in the remote bash | 54 | # Input: $1 - shell script source code to run in the remote bash |
55 | # Input: $2, $3, ... - command line arguments passed to the remote bash | 55 | # Input: $2, $3, ... - command line arguments passed to the remote bash as $1, $2, ... |
56 | # Input: stdin, stdout, stderr: passed to the remote bash over ssh | 56 | # Input: stdin, stdout, stderr: passed to the remote bash over ssh |
57 | # Input: "$0" - copied to remote bash's $0 | ||
58 | # Input: "$SHELL" - remote shell to launch (better be bash) | 57 | # Input: "$SHELL" - remote shell to launch (better be bash) |
59 | bash_rpc_remote_run_script() | 58 | bash_rpc_remote_run_script() |
60 | { | 59 | { |