1
0
mirror of https://github.com/deadc0de6/dotdrop.git synced 2026-02-06 10:12:59 +00:00

fail early when profile does not exist (#300)

This commit is contained in:
deadc0de6
2021-01-29 21:45:32 +01:00
parent 636c1ade26
commit cccda6e284
2 changed files with 14 additions and 0 deletions

View File

@@ -419,6 +419,10 @@ def cmd_update(o):
paths = o.update_path
iskey = o.update_iskey
if o.profile not in [p.key for p in o.profiles]:
LOG.err('no such profile \"{}\"'.format(o.profile))
return False
adapt_workers(o, LOG)
if not paths: