From 5c28bdd8c2ea7209723324d32f598c72dc9eeec0 2019-10-24 22:37:10
From: Unknown <xyz258@abwesend.de>
Date: 2019-10-24 22:37:10
Subject: [PATCH] finally


---

diff --git a/functions.sh b/functions.sh
index 4733375..d0dd854 100644
--- a/functions.sh
+++ b/functions.sh
@@ -101,7 +101,7 @@ set_kernel_config() {
   # flag as $1, value to set as $2, config must exist at "./.config"
   TGT="CONFIG_${1#CONFIG_}"
   REP="${2}"
-  if grep -q "^${TGT}[^_]" .config; then
+  if [ grep -q "^${TGT}[^_]" .config ] ; then
     sed -i "s/^\(${TGT}=.*\|# ${TGT} is not set\)/${TGT}=${REP}/" .config
   else
     echo "${TGT}"="${2}" >> .config