From 394e3dce3313efcc70eb910aa9ba142de92fc291 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Sat, 20 Oct 2018 17:32:40 -0700
Subject: Add script to launch gnome-settings from non-gnome desktop
 environment

---
 home/bin/settings | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 home/bin/settings

(limited to 'home')

diff --git a/home/bin/settings b/home/bin/settings
new file mode 100755
index 0000000..309e92d
--- /dev/null
+++ b/home/bin/settings
@@ -0,0 +1,2 @@
+#!/bin/sh
+env XDG_CURRENT_DESKTOP=GNOME gnome-control-center
\ No newline at end of file
-- 
cgit v1.2.3