[gnome-shell] Change to $HOME before launching gnome-panel again

[Owen Taylor <otaylor src gnome org>]

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"