add target.extraOptions

This commit is contained in:
Erik Arvstedt 2020-04-18 23:05:18 +02:00
parent 9c16ab1ce1
commit 2cafddd78d
3 changed files with 3 additions and 0 deletions

View File

@ -52,6 +52,7 @@ let {
port = default "22" /* "ssh"? */ (elemAt' parse 5); port = default "22" /* "ssh"? */ (elemAt' parse 5);
path = default "/var/src" /* no default? */ (elemAt' parse 6); path = default "/var/src" /* no default? */ (elemAt' parse 6);
sudo = false; sudo = false;
extraOptions = [];
} else s; } else s;
shell = let shell = let

View File

@ -23,6 +23,7 @@ in
(lib.optionals (target.user != "") ["-l" target.user]) (lib.optionals (target.user != "") ["-l" target.user])
"-p" target.port "-p" target.port
"-t" "-t"
target.extraOptions
target.host target.host
(if target.sudo then "sudo ${command}" else command)])} (if target.sudo then "sudo ${command}" else command)])}
''; '';

View File

@ -194,6 +194,7 @@ let
"-o" "ControlPersist=no" "-o" "ControlPersist=no"
"-p" target.port "-p" target.port
"-T" "-T"
target.extraOptions
]); ]);
in in