19 lines
480 B
Plaintext
19 lines
480 B
Plaintext
|
# -*- mode: python -*-
|
||
|
|
|
||
|
|
# The username for repositories can be overridden.
|
||
|
|
#
|
||
|
|
#repos["git.gnome.org"] = "ssh://myusername@git.gnome.org/git/"
|
||
|
|
|
||
|
|
# Directory where to check sources out
|
||
|
|
#
|
||
|
|
#checkoutroot = '/opt/gnome-shell/source'
|
||
|
|
|
||
|
|
# Directory where to install
|
||
|
|
#
|
||
|
|
#prefix = '/opt/gnome-shell/install'
|
||
|
|
|
||
|
|
# 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'
|