brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

gnome-shell-build-setup.sh: add a note about removing install directory

Browse Source 
If the user relocates from ~/gnome-shell to ~/gnome, they need to
remove the install directory or left-over paths will cause problems.
This commit is contained in:
Owen W. Taylor 2012-10-05 13:35:58 -04:00
parent 9395f310d6
commit aa1a84e677
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/build/gnome-shell-build-setup.sh
View File

@ -304,11 +304,13 @@ WARNING:
The old source and install directory '$HOME/gnome-shell' exists, but The old source and install directory '$HOME/gnome-shell' exists, but
'$HOME/gnome' doesn't. An empty $HOME/gnome will be created. '$HOME/gnome' doesn't. An empty $HOME/gnome will be created.
To avoid starting again from scratch you should remove the empty directory To avoid starting again from scratch you should remove the empty directory,
and move your old '$HOME/gnome-shell' to '$HOME/gnome': move your old '$HOME/gnome-shell' to '$HOME/gnome', and delete the old
install directory:
rm -rf $HOME/gnome rm -rf $HOME/gnome
mv $HOME/gnome-shell $HOME/gnome mv $HOME/gnome-shell $HOME/gnome
rm -rf $HOME/gnome/install
EOF EOF
fi fi