From 13728a229dac2f52c0079504c8d1bbaf1f56d5bc Mon Sep 17 00:00:00 2001
From: Anthony Perkins <anthony@acperkins.com>
Date: Mon, 10 May 2021 11:58:00 +0100
Subject: [PATCH] Load settings from a local file if it exists

---
 roles/home-gui/files/gnome-setup.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh
index 539959f..c2bdf5e 100644
--- a/roles/home-gui/files/gnome-setup.sh
+++ b/roles/home-gui/files/gnome-setup.sh
@@ -68,3 +68,8 @@ set_misc_preferences () {
 	gsettings set org.gnome.desktop.background primary-color '#808080'
 }
 set_misc_preferences
+
+if [ -x "$HOME/bin/reset-gnome-setup.local" ]
+then
+	. "$HOME/bin/reset-gnome-setup.local"
+fi