From aa1a84e67765f0f1ee514c2335d9e6678ad2c6e1 Mon Sep 17 00:00:00 2001 From: "Owen W. Taylor" Date: Fri, 5 Oct 2012 13:35:58 -0400 Subject: [PATCH] gnome-shell-build-setup.sh: add a note about removing install directory If the user relocates from ~/gnome-shell to ~/gnome, they need to remove the install directory or left-over paths will cause problems. --- tools/build/gnome-shell-build-setup.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/build/gnome-shell-build-setup.sh b/tools/build/gnome-shell-build-setup.sh index d546bb4ac..fd511aa1f 100755 --- a/tools/build/gnome-shell-build-setup.sh +++ b/tools/build/gnome-shell-build-setup.sh @@ -304,11 +304,13 @@ WARNING: The old source and install directory '$HOME/gnome-shell' exists, but '$HOME/gnome' doesn't. An empty $HOME/gnome will be created. - To avoid starting again from scratch you should remove the empty directory - and move your old '$HOME/gnome-shell' to '$HOME/gnome': + To avoid starting again from scratch you should remove the empty directory, + move your old '$HOME/gnome-shell' to '$HOME/gnome', and delete the old + install directory: rm -rf $HOME/gnome mv $HOME/gnome-shell $HOME/gnome + rm -rf $HOME/gnome/install EOF fi