Merge pull request #20 from Mic92/local-sudo

fix local deployment with sudo
This commit is contained in:
tv 2020-06-22 20:57:21 +02:00 committed by GitHub
commit 3e731035ed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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: {