diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-28 09:39:00 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-28 09:40:33 +0200 |
| commit | 039b6127f72416f7a2656516f2e70ce19c4343a2 (patch) | |
| tree | 32bd6e13805e7bc6ba4f596c2bf5d4bbf1a7f8ff | |
| parent | 5db02ee3b1db056717c247ea9cb722d201c38722 (diff) | |
| download | builder-039b6127f72416f7a2656516f2e70ce19c4343a2.tar.xz | |
bin/seed-build-list: have standardly ignored packages in conf/seed-ignore-packages
| -rwxr-xr-x | bin/seed-build-list | 4 | ||||
| -rw-r--r-- | conf/seed-ignore-packages | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/bin/seed-build-list b/bin/seed-build-list index 6babca8..2d636b8 100755 --- a/bin/seed-build-list +++ b/bin/seed-build-list @@ -59,6 +59,10 @@ auto=false update=true wait_for_lock='-n' +if [ -r "${base_dir}/conf/seed-ignore-packages" ]; then + cp "${base_dir}/conf/seed-ignore-packages" "${tmp_dir}/ignore-packages" +fi + while true do case "$1" in diff --git a/conf/seed-ignore-packages b/conf/seed-ignore-packages new file mode 100644 index 0000000..4bc30db --- /dev/null +++ b/conf/seed-ignore-packages @@ -0,0 +1,3 @@ +asp +pacman-mirrorlist +qemu-block-rbd |