gnome-shell-build-setup.sh: Move default directory to ~/gnome
gnome-shell-build-setup.sh is generally useful for working on GNOME. If moving on from hacking on gnome-shell to some other module, having the checkout location be ~/gnome-shell is a little odd and cumbersome, so start out checking things out into ~/gnome/source and installing them into ~/gnome/install. Add a warning if the old ~/gnome-shell exists to avoid unnecessary checking out of every module again. https://bugzilla.gnome.org/show_bug.cgi?id=685355
This commit is contained in:
parent
4f66f096ff
commit
b99bb3d4bb
@ -298,6 +298,20 @@ if [ ! -f $HOME/.jhbuildrc-custom ]; then
|
||||
echo "done"
|
||||
fi
|
||||
|
||||
if [ -d $HOME/gnome-shell -a \! -d $HOME/gnome ] ; then
|
||||
cat <<EOF
|
||||
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':
|
||||
|
||||
rm -rf $HOME/gnome
|
||||
mv $HOME/gnome-shell $HOME/gnome
|
||||
EOF
|
||||
fi
|
||||
|
||||
echo "Installing modules as system packages when possible"
|
||||
$HOME/bin/jhbuild sysdeps --install
|
||||
|
||||
|
@ -23,10 +23,10 @@ moduleset = 'gnome-apps-3.6'
|
||||
modules = [ 'meta-gnome-core-shell' ]
|
||||
|
||||
# what directory should the source be checked out to?
|
||||
checkoutroot = os.path.expanduser('~/gnome-shell/source')
|
||||
checkoutroot = os.path.expanduser('~/gnome/source')
|
||||
|
||||
# the prefix to configure/install modules to (must have write access)
|
||||
prefix = os.path.expanduser('~/gnome-shell/install')
|
||||
prefix = os.path.expanduser('~/gnome/install')
|
||||
|
||||
# reduce what we build as much as possible
|
||||
ignore_suggests = True
|
||||
|
Loading…
Reference in New Issue
Block a user