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

populate dir: improve error message

Browse Source
This commit is contained in:
tv 2015-10-20 20:06:17 +02:00
parent b2fd7be3ff
commit 2efaf0f219
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
krebs/default.nix
View File

@ -221,11 +221,15 @@ let out = {
${config.path}/ \
root@${target}:${config.target-path}
'';
url = "file://${config.host.name}${config.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-link then link-method else
if can-push then push-method else
throw "cannot source ${url}";
throw
# /!\ revise this message when using more than just push-method
"No way to push ${source-url} from ${current-url} to ${target-url}";
methods.git = config:
rootssh target ''