Make commented-line removal more explicit

src/include/ini.sh

@@ -30,13 +30,19 @@ __ini_expand() {
     done
 }
 
+__ini_grepcmt() {
+    #
+    # Remove comments from INI file on stdin
+    #
+    grep -v '^[[:space:]]*#'
+}
+
 __ini_grepkey() {
     #
     # Read key from a section
     #
     local wnt=$1    # wanted key
     grep '.' \
-      | grep -v '\s*#' \
       | sed -e 's/ *= */=/; s/ +$//; s/^//;' \
       | grep -e "^$wnt=" \
       | cut -d= -f2- \
@@ -127,7 +133,7 @@ __ini_body() {
         grep -vx "$incre" "$MKIT_INI"
     else
         cat "$MKIT_INI"
-    fi
+    fi | __ini_grepcmt
 }
 
 ini() {