fix local deployment with sudo

This commit is contained in:
Jörg Thalheim 2020-06-22 15:38:35 +01:00
parent 56a066d470
commit bdf56191e2
No known key found for this signature in database
GPG Key ID: 003F2096411B5F92
1 changed files with 6 additions and 3 deletions

View File

@ -18,8 +18,11 @@ in
}";
runShell = target: command:
if lib.isLocalTarget target
then command
let
command' = if target.sudo then "sudo ${command}" else command;
in
if lib.isLocalTarget target
then command'
else
writers.writeDash "krops.${target.host}.${lib.firstWord command}" ''
exec ${openssh}/bin/ssh ${lib.escapeShellArgs (lib.flatten [
@ -28,7 +31,7 @@ in
"-T"
target.extraOptions
target.host
(if target.sudo then "sudo ${command}" else command)])}
command'])}
'';
writeCommand = name: {