[gnome-shell] Change to $HOME before launching gnome-panel again
- From: Owen Taylor <otaylor src gnome org>
- To: svn-commits-list gnome org
- Cc:
- Subject: [gnome-shell] Change to $HOME before launching gnome-panel again
- Date: Sat, 8 Aug 2009 16:51:24 +0000 (UTC)
commit 464842ea36e88de94135609fcdfdfe3240e64076
Author: Owen W. Taylor <otaylor fishsoup net>
Date: Sat Aug 8 10:44:22 2009 -0400
Change to $HOME before launching gnome-panel again
When exiting from --replace mode, we want to start the new
gnome-panel with a reasonable working directory so that if, you say,
open a terminal from it it doesn't start off in the gnome-shell
directory.
(gnome-shell itself is running in $HOME because mutter changes
directory itself at startup.)
Reported by Mathieu Bridon
http://bugzilla.gnome.org/show_bug.cgi?id=591145
src/gnome-shell.in | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-shell.in b/src/gnome-shell.in
index 12a607f..ebb0f39 100644
--- a/src/gnome-shell.in
+++ b/src/gnome-shell.in
@@ -301,6 +301,11 @@ finally:
if not run_in_xephyr:
# Restart gnome-panel and window manager
+
+ # We don't want to start the new gnome-panel in the current
+ # directory; $HOME is better for stuff launched from it
+ os.chdir(os.path.expanduser("~"))
+
if metacity_pid:
if options.verbose:
print "Restarting Metacity"
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]