enabling case insensitive package searches
authorChris Koeritz <cak0l@virginia.edu>
Thu, 29 Jul 2021 20:55:47 +0000 (16:55 -0400)
committerChris Koeritz <cak0l@virginia.edu>
Thu, 29 Jul 2021 20:55:47 +0000 (16:55 -0400)
scripts/system/list_packages.sh

index 0a52aa64d380b77dd9f2b4cf166924f97db32665..d7317fbb6eecfbd30e28a96789a48d2c41da8802 100644 (file)
@@ -8,7 +8,7 @@ if [ -z "$*" ]; then
 else
   # we know the parameters are not empty, so we don't go with our
   # wildcard approach for listing the package names.
-  SEEK_PIECE=' grep $* '
+  SEEK_PIECE=' grep -i $* '
 fi
 
 if debian_like; then