From 5b088f8822d5efc1e07b6058b1a54ed6016b7f27 Mon Sep 17 00:00:00 2001
From: druckdev <63563978+druckdev@users.noreply.github.com>
Date: Tue, 6 Oct 2020 03:26:08 +0200
Subject: [PATCH] scripts: Add toggleDock

Add old script that toggles the dock in GNOME.
---
 .local/bin/toggleDock | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 .local/bin/toggleDock

diff --git a/.local/bin/toggleDock b/.local/bin/toggleDock
new file mode 100755
index 0000000..de3cfe6
--- /dev/null
+++ b/.local/bin/toggleDock
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+## Author:  druckdev
+## Created: 2019
+##
+## A small script that toggles the dock in GNOME.
+
+SCHEMA="org.gnome.shell.extensions.dash-to-dock"
+
+if [ "$(gsettings get "$SCHEMA" autohide)" = "true" ]; then
+	value=false
+else
+	value=true
+fi
+
+for key in autohide dock-fixed intellihide; do
+	gsettings set "$SCHEMA" "$key" "$value"
+done