diff options
author | Matthias Sohn <matthias.sohn@sap.com> | 2021-03-24 23:30:52 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2021-03-24 23:37:53 +0100 |
commit | 3e888691672a562de31fdc50b5f5185de931525f (patch) | |
tree | 4f41776db2b7d6be98614724619888df340071c0 | |
parent | fc974c9022424e5c2751fe64201c11118e3acbc4 (diff) |
Add searching duplicate "external" externalIds only differing in case
Change-Id: I6474f63ff219b992efa30949c8faf060f33a592d
-rwxr-xr-x | contrib/find-duplicate-usernames.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/find-duplicate-usernames.sh b/contrib/find-duplicate-usernames.sh index aff3ba70c2..b59e5beb27 100755 --- a/contrib/find-duplicate-usernames.sh +++ b/contrib/find-duplicate-usernames.sh @@ -17,15 +17,15 @@ usage() { cat <<EOF Usage: cd /path/to/All-Users.git - "$f [username|gerrit]" + "$f [username|gerrit|external]" This script finds duplicate usernames only differing in case in the given -account schema ("username" or "gerrit") and their respective accountIds. +account schema ("username", "gerrit" or "external") and their respective accountIds. EOF exit 1 } -if [[ "$#" -ne "1" ]] || ! [[ "$1" =~ ^(gerrit|username)$ ]]; then +if [[ "$#" -ne "1" ]] || ! [[ "$1" =~ ^(gerrit|username|external)$ ]]; then usage fi |