From 467aa2e5349e0a23159c2b9d189c635be5eb493b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakobus=20Sch=C3=BCrz?= <schuer4>
Date: Thu, 5 Mar 2020 12:53:58 +0100
Subject: [PATCH] fix enable gnome-shell-extensions

---
 functions.sh | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/functions.sh b/functions.sh
index bf521f9..1c84f19 100644
--- a/functions.sh
+++ b/functions.sh
@@ -557,10 +557,17 @@ gnome-shell-extensions-make-actual-permanent-systemwide() {
     sudo mkdir -p '/etc/dconf/db/local.d'
     if [ -e "${file}" ] ; then
         sudo sed -i -e "/${line}/d" "${file}"
-        sudo sed -i -e "/\[org\/gnome\/shell\]/d" "${file}"
+        #sudo sed -i -e "/\[org\/gnome\/shell\]/d" "${file}"
     fi
     local EXTENSIONS=$(gsettings get org.gnome.shell enabled-extensions)
-    echo "[org/gnome/shell]" | sudo tee -a "${file}"
-    echo "${EXTENSIONS}" | sudo tee -a "${file}"
+    line="[org/gnome/shell]"
+    command="grep -xqF -- ${line} ${file} || echo $line >> $file"
+    sudo sh -c "$command"
+
+    local line='enabled-extensions='
+    echo "Update or add extensions"
+    #echo "${line}${EXTENSIONS}" | sudo tee -a "${file}"
+    sudo sed -i "/\[org\/gnome\/shell\]/a${line}${EXTENSIONS}" "${file}"
+    sudo dconf update
 }
 #EOF