From 551c4f776ea3b3e03012c185af2a127f4e673e94 Mon Sep 17 00:00:00 2001 From: Eddie Kohler Date: Wed, 5 Feb 2025 14:42:00 -0500 Subject: [PATCH] Ugh --- batch/saveusers.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/batch/saveusers.php b/batch/saveusers.php index defd7f212..d0cfbfa4c 100644 --- a/batch/saveusers.php +++ b/batch/saveusers.php @@ -143,8 +143,8 @@ static function make_args($argv) { "expression[],expr[],e[] =JSON Create or modify users specified in JSON", "notify,N Send email notifications (off by default)", "no-notify,no-email !", - "only-create,no-modify Only create new users, do not modify existing", - "only-modify,no-create Only modify existing users, do not create new", + "only-create,create-only,no-modify Only create new users, do not modify existing", + "only-modify,modify-only,no-create Only modify existing users, do not create new", "quiet,q Do not print changes" )->helpopt("help") ->description("Save HotCRP users as specified in JSON or CSV.