Update ci/dev-env-push.py

Co-Authored-By: zimbatm <zimbatm@zimbatm.com>
This commit is contained in:
Florian Klink 2019-04-04 14:48:45 +02:00 committed by Francesco Mazzoli
parent a0992cedcc
commit 2cd3dcb385

View File

@ -44,7 +44,7 @@ def log_cmd(cmd):
def get_secret(workdir, key):
value = os.environ.pop(key, None)
if value is None or value == f'$({key})':
log("could not find secret %s" % key)
log(f'could not find secret {key}')
sys.exit(1)
filepath = os.path.join(workdir, key)