From ec669d7872fbb1c46793bee169d5ad7046c9bd60 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakobus=20Sch=C3=BCrz?= <jakobus.schuerz@schuerz.at>
Date: Wed, 9 Dec 2020 15:56:05 +0100
Subject: [PATCH] make gnome extensions permanent

---
 functions.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/functions.sh b/functions.sh
index 97a1f8d..9a2123e 100755
--- a/functions.sh
+++ b/functions.sh
@@ -676,6 +676,18 @@ function gnome-shell-extensions-enable-defaults() {
     EXIT
 }
 
+gnome-shell-extensions-make-actual-permanent() {
+    ENTRY
+    file="${HOME}/.config/gnome-shell-extensions-default.list"
+    local EXTENSIONS=$(gsettings get org.gnome.shell enabled-extensions)
+    line="[org/gnome/shell]"
+    for line in ${EXTENSIONS[@]}; do
+        loginfo "add $line to $file"
+        grep -xqF -- ${line} ${file} || echo $line >> $file
+    done
+
+    EXIT
+}
 gnome-shell-extensions-make-actual-permanent-systemwide() {
     ENTRY
     # https://people.gnome.org/~pmkovar/system-admin-guide/extensions-enable.html