From 34903c091f09dcfbcc64876ede8c10c944d551b0 Mon Sep 17 00:00:00 2001 From: developomp Date: Fri, 6 May 2022 00:33:46 +0900 Subject: [PATCH] remove unfunctional line --- src/setup/system/gnome_extensions.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/setup/system/gnome_extensions.py b/src/setup/system/gnome_extensions.py index 4f24dcf..56332dd 100644 --- a/src/setup/system/gnome_extensions.py +++ b/src/setup/system/gnome_extensions.py @@ -3,6 +3,8 @@ from src import log from os import system name = "Gnome extensions" +post_install = "Restart gnome shell" + EXTENSIONS = ( (36, "extension-lockkeys.conf"), # lock-keys @@ -41,4 +43,3 @@ def setup(): # enable extensions load_dconf("extensions.conf") - system("gnome-shell-extension-installer --restart-shell")