diff options
author | Jakob Odersky <jakob@odersky.com> | 2018-10-20 17:32:40 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2018-10-20 17:32:40 -0700 |
commit | 394e3dce3313efcc70eb910aa9ba142de92fc291 (patch) | |
tree | 54e58eb7e923469fe1151699da088d74c9acacc9 | |
parent | 0123bf08f118dac601fd3b6c3e8a532cc9c76dd2 (diff) | |
download | dotfiles-394e3dce3313efcc70eb910aa9ba142de92fc291.tar.gz dotfiles-394e3dce3313efcc70eb910aa9ba142de92fc291.tar.bz2 dotfiles-394e3dce3313efcc70eb910aa9ba142de92fc291.zip |
Add script to launch gnome-settings from non-gnome desktop environment
-rwxr-xr-x | home/bin/settings | 2 |
1 files changed, 2 insertions, 0 deletions
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 |