diff options
author | tv <tv@krebsco.de> | 2018-02-28 14:09:44 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-02-28 14:09:44 +0100 |
commit | 7e31dc4906961da4c0fc2ce0fbee3d0a2361fa2d (patch) | |
tree | ac8d5b639575b61ee9f88e65b9e29fe0998d07bd | |
parent | 019b0c4e3e37c580bbd702789d22fed561eaa37c (diff) |
target_shell: allow passing arguments to /bin/sh
-rwxr-xr-x | bin/populate | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/populate b/bin/populate index 358cb36..a0d3750 100755 --- a/bin/populate +++ b/bin/populate @@ -251,14 +251,14 @@ quote() { target_shell() { if is_local_target; then - /bin/sh + /bin/sh "$@" else ssh "$target_host" \ -l "$target_user" \ -o ControlPersist=no \ -p "$target_port" \ -T \ - /bin/sh + /bin/sh "$@" fi } |