diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-30 21:10:11 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-30 21:10:11 +0200 |
| commit | ab5f85641b5be521a126770bb356a3b78f425b59 (patch) | |
| tree | 46299688ee6bd6d7029038a758ac99bcd77a7e0a /conf | |
| parent | 703b9f1ca5fe85dabd70761966f1367cac173eaf (diff) | |
| download | builder-ab5f85641b5be521a126770bb356a3b78f425b59.tar.xz | |
conf/default.conf: new variables holding stable-, standalone-, testing- and staging-packages
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/default.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index 34c5c3e..731f22c 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -67,6 +67,12 @@ straws_that_might_repair_failing_builds=$( # root directory of the webserver webserver_directory='/srv/http' +# known package repositories +standalone_package_repositories='build-support gnome-unstable kde-unstable' +stable_package_repositories='community core extra' +testing_package_repositories='community-testing testing' +staging_package_repositories='community-staging staging' + # possibly pull in custom modifications # shellcheck source=/dev/null |