From e59ba1d8d52b7388c4a0c454871658ba2597167d Mon Sep 17 00:00:00 2001 From: Sean Buckley Date: Thu, 15 Oct 2020 11:39:38 -0400 Subject: [PATCH] remove old dash-to-panel script --- modules/gnome/dash-to-panel.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 modules/gnome/dash-to-panel.sh diff --git a/modules/gnome/dash-to-panel.sh b/modules/gnome/dash-to-panel.sh deleted file mode 100755 index 495dd72..0000000 --- a/modules/gnome/dash-to-panel.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/usr/bin/env bash -set -x - -dconf write /org/gnome/shell/extensions/dash-to-panel/panel-size 40 -dconf write /org/gnome/shell/extensions/dash-to-panel/group-apps false -dconf write /org/gnome/shell/extensions/dash-to-panel/isolate-workspaces true -dconf write /org/gnome/shell/extensions/dash-to-panel/show-window-previews false