Mic92/stockholm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

populate dir: reduce noise in error message

Browse Source
This commit is contained in:
tv 2015-10-20 20:24:25 +02:00
parent acb53c23dc
commit 9cb1fdc946
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
krebs/default.nix
View File

@ -216,16 +216,13 @@ let out = {
--delete-excluded \
-vrLptgoD \
${config.path}/ \
${target-url}
root@${target}:${config.target-path}
'';
current-url = "${current-user-name}@${current-host.name}";
source-url = "file://${config.host.name}${config.path}";
target-url = "root@${target}:${config.target-path}";
in
if can-push then push-method else
throw
let dir = "file://${config.host.name}${config.path}"; in
# /!\ revise this message when using more than just push-method
"No way to push ${source-url} from ${current-url} to ${target-url}";
throw "No way to push ${dir} from ${current-host.name} to ${target}";
methods.git = config:
rootssh target ''