From b380b2c0b0232492cb41e85cd7a54dfcc132271a Mon Sep 17 00:00:00 2001
From: Marc Beninca <git@marc.beninca.link>
Date: Mon, 18 Nov 2024 12:40:20 +0100
Subject: [PATCH] gnome/proxy

---
 sh/gnome.sh | 9 +++++++++
 sh/proxy.sh | 8 --------
 2 files changed, 9 insertions(+), 8 deletions(-)
 delete mode 100644 sh/proxy.sh

diff --git a/sh/gnome.sh b/sh/gnome.sh
index 4aa6746..c773ff8 100644
--- a/sh/gnome.sh
+++ b/sh/gnome.sh
@@ -1,3 +1,12 @@
+sh_gnome_proxy() {
+	local value
+	case "${1}" in
+	"on") value="manual" ;;
+	*) value="none" ;;
+	esac
+	gsettings set "org.gnome.system.proxy" "mode" "${value}"
+}
+
 sh_gnome_workspaces_primary() {
 	local bool
 	local group="org.gnome.mutter"
diff --git a/sh/proxy.sh b/sh/proxy.sh
deleted file mode 100644
index dd154a6..0000000
--- a/sh/proxy.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-socks() {
-	local value
-	case "${1}" in
-	"on") value="manual" ;;
-	*) value="none" ;;
-	esac
-	gsettings set "org.gnome.system.proxy" "mode" "${value}"
-}