Merge pull request #104732 from lukegb/factorio-fail-if-no-creds

factorio: fail fetch early if no credentials provided
This commit is contained in:
Pavol Rusnak 2020-11-24 23:33:55 +01:00 committed by GitHub
commit 2b884eb9f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -104,10 +104,15 @@ let
];
})
(_: { # This preHook hides the credentials from /proc
preHook = ''
echo -n "${username}" >username
echo -n "${token}" >token
'';
preHook =
if username != "" && token != "" then ''
echo -n "${username}" >username
echo -n "${token}" >token
'' else ''
# Deliberately failing since username/token was not provided, so we can't fetch.
# We can't use builtins.throw since we want the result to be used if the tar is in the store already.
exit 1
'';
failureHook = ''
cat <<EOF
${helpMsg}