Merge pull request #225 from jcjones/make_prefs_more_clear

Add clarification to how prefs work
This commit is contained in:
Greg Guthe 2021-04-29 21:20:21 +00:00 коммит произвёл GitHub
Родитель 04f3f7f99d 3af3362b75
Коммит 9a3e678283
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 3 добавлений и 0 удалений

Просмотреть файл

@ -75,6 +75,9 @@ class BaseMode(object):
help="OneCRL-Tools git branch, tag, or commit to use (default: stable)",
action="store",
default=os.environ.get("ONECRLPIN", "stable"))
group = parser.add_argument_group(title="preferences", description="Preferences are of the form "
+ "'key;value' and one per argument. Use multiple --pref* calls"
+ " to set additional preferences.")
group.add_argument("-p", "--prefs",
help="Prefs to apply to all builds",
type=str,