diff options
author | Jasper St. Pierre <jstpierre@mecheye.net> | 2015-06-23 14:37:41 -0700 |
---|---|---|
committer | Jasper St. Pierre <jstpierre@mecheye.net> | 2015-06-23 14:38:52 -0700 |
commit | 23d12ee30c5f6eb1769b92acf33bd0c95f27d886 (patch) | |
tree | cbb0894a51a3b1ec6a44167a0ea089911c0b9d5f /data | |
parent | a1787d8fb873933f7140538806d7588545646896 (diff) | |
download | gnome-initial-setup-23d12ee30c5f6eb1769b92acf33bd0c95f27d886.tar.gz |
setup-shell: Make sure that the shell launches first
On systems where the shell might be slow to start up, we need to make
sure gnome-initial-setup launches after the WM has time to initialize.
Copy these lines from gnome-shell's desktop file to get our setup shell
spawned at the right phase.
Diffstat (limited to 'data')
-rw-r--r-- | data/setup-shell.desktop | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/data/setup-shell.desktop b/data/setup-shell.desktop index 7770652..7fa1e7f 100644 --- a/data/setup-shell.desktop +++ b/data/setup-shell.desktop @@ -3,3 +3,6 @@ Type=Application Name=GNOME Shell Exec=gnome-shell --mode=initial-setup X-GNOME-AutoRestart=true +X-GNOME-Autostart-Phase=WindowManager +X-GNOME-Provides=panel;windowmanager; +X-GNOME-Autostart-Notify=true |