diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-29 13:31:40 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-29 13:31:40 +0200 |
| commit | 71c8b3293944620afb8977b5c663a5916c53974f (patch) | |
| tree | c33c934cf6a5e9a12564577264cee216730b482c /conf | |
| parent | 491308bd4941793699e1185bdb623935f3cdd999 (diff) | |
| download | builder-71c8b3293944620afb8977b5c663a5916c53974f.tar.xz | |
bin/interpret-mail: require a valid signature from an admin to do anything
Diffstat (limited to 'conf')
| -rw-r--r-- | conf/.gitignore | 1 | ||||
| -rwxr-xr-x | conf/default.conf | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/conf/.gitignore b/conf/.gitignore index f21e1b2..9eef7aa 100644 --- a/conf/.gitignore +++ b/conf/.gitignore @@ -1 +1,2 @@ local.conf +admin-gpg-keys diff --git a/conf/default.conf b/conf/default.conf index f9bf2ea..34c5c3e 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -34,6 +34,12 @@ max_parallel_build_per_client=2 repo_key='0xdeadbeef' package_key='0x15eebadc0de' +if [ -s "${base_dir}/conf/admin-gpg-keys" ]; then + admin_gpg_keys=$( + sed 's|\s*#.*$||' "${base_dir}/conf/admin-gpg-keys" + ) +fi + # to access the master mirror via rsync master_mirror_rsync_command='rsync --password-file=/home/slave/rsync.password' master_mirror_rsync_directory='rsync://buildmaster@mirror.archlinux32.org/packages32' |