2008-10-31 01:25:28 -04:00
|
|
|
# -*- mode: python -*-
|
|
|
|
|
|
|
|
|
|
# The username for repositories can be overridden.
|
|
|
|
|
#
|
2009-02-05 18:23:18 -05:00
|
|
|
#repos["git.gnome.org"] = "ssh://myusername@git.gnome.org/git/"
|
2008-10-31 01:25:28 -04:00
|
|
|
|
|
|
|
|
# Directory where to check sources out
|
|
|
|
|
#
|
|
|
|
|
#checkoutroot = '/opt/gnome-shell/source'
|
|
|
|
|
|
|
|
|
|
# Directory where to install
|
|
|
|
|
#
|
|
|
|
|
#prefix = '/opt/gnome-shell/install'
|
2009-03-14 18:19:58 -04:00
|
|
|
|
|
|
|
|
# Work around http://bugzilla.gnome.org/show_bug.cgi?id=571240 if
|
|
|
|
|
# your 'install' program is somewhere other than /usr/bin/install
|
|
|
|
|
# (affects: Arch Linux)
|
|
|
|
|
#installprog = 'bin/install'
|
