Merge pull request #34 from paulrbr-fl/domain-case

domain: DNS names are case insensitive
fretlink · Jan 31, 2019 · abde001 · abde001
2 parents c11e023 + 68bc0d0
commit abde001
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/files/clever-set-domain.sh b/files/clever-set-domain.sh
@@ -3,7 +3,7 @@
 set -e
 
 function checkDomain {
-  clever domain | grep "${DOMAIN}"
+  clever domain | grep --ignore-case "${DOMAIN}"
 }
 
 function setDomain {