scripts: use short options instead of long ones

In order to be compatible with more `grep` versions (notably busybox
ones which don't have long option names in our new CI environments) we
need to use short cli options.

diff --git a/files/clever-set-domain.sh b/files/clever-set-domain.sh
index a6454df4d3121811c60dd974f2f7f3f3aa31b81b..a562703fd9f97dff3d2aae77c70114539f25f855 100755 (executable)
--- a/files/clever-set-domain.sh
+++ b/files/clever-set-domain.sh
@@ -3,7 +3,8 @@
 set -e
 
 function checkDomain {
-  clever domain | grep --ignore-case "${DOMAIN}"
+  # DNS domain names are case insensitive
+  clever domain | grep -i "${DOMAIN}"
 }
 
 function setDomain {