diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-30 10:11:43 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-30 10:11:43 +0200 |
| commit | 731a2e13d0c87cbc1a7467f17bcf01fb84faf357 (patch) | |
| tree | 417c7be69606c969629dc10aaf4a8146d53c5d62 | |
| parent | 68750f39f1745fc4251dfb2b9fb9c194ac29c70d (diff) | |
| download | builder-731a2e13d0c87cbc1a7467f17bcf01fb84faf357.tar.xz | |
lib/common-functions: remove known-package-repositories configuration variables
| -rwxr-xr-x | conf/master.conf.example | 14 | ||||
| -rwxr-xr-x | lib/load-configuration | 14 |
2 files changed, 0 insertions, 28 deletions
diff --git a/conf/master.conf.example b/conf/master.conf.example index 4e708f3..1c21fb3 100755 --- a/conf/master.conf.example +++ b/conf/master.conf.example @@ -21,20 +21,6 @@ # directory to keep the build log files in #build_log_directory='/srv/http/build-logs' -# known package repositories -#standalone_package_repositories=$( -# printf '%s\n' 'build-support' 'gnome-unstable' 'kde-unstable' -#) -#stable_package_repositories=$( -# printf '%s\n' 'community' 'core' 'extra' -#) -#testing_package_repositories=$( -# printf '%s\n' 'community-testing' 'testing' -#) -#staging_package_repositories=$( -# printf '%s\n' 'community-staging' 'staging' -#) - # irc client configuration #irc_dir='/home/slave/irc/irc.freenode.net' #irc_password='top_secret' diff --git a/lib/load-configuration b/lib/load-configuration index d39f89e..f70daeb 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -73,20 +73,6 @@ webserver_directory='/srv/http' # directory to keep the build log files in build_log_directory='/srv/http/build-logs' -# known package repositories -standalone_package_repositories=$( - printf '%s\n' 'build-support' 'gnome-unstable' 'kde-unstable' -) -stable_package_repositories=$( - printf '%s\n' 'community' 'core' 'extra' -) -testing_package_repositories=$( - printf '%s\n' 'community-testing' 'testing' -) -staging_package_repositories=$( - printf '%s\n' 'community-staging' 'staging' -) - # irc client configuration irc_dir='/home/slave/irc/irc.freenode.net' irc_password='top_secret' |