1
0
mirror of synced 2026-04-14 23:37:56 +00:00

Gah! ubuntu-archive-removed-keys.gpg is an empty file, so check for size

This commit is contained in:
Axel Beckert
2015-07-17 22:42:20 +02:00
parent 765901b8b2
commit 1f4b04c2d4

View File

@@ -1289,7 +1289,7 @@ sub setupDefaultOptions
$CONFIG{ 'mirror_'.$debdist } = $MIRROR{$dist.'_archive'} or
die $dist.'_archive not defined in /etc/xen-tools/mirrors.conf';
my $removed_keys = "/usr/share/keyrings/$dist-archive-removed-keys.gpg";
$CONFIG{ 'keyring_'.$debdist } = $removed_keys if -r $removed_keys;
$CONFIG{ 'keyring_'.$debdist } = $removed_keys if -s $removed_keys;
} else {
$CONFIG{ 'mirror_'.$debdist } = $MIRROR{$dist} or
die $dist.' not defined in /etc/xen-tools/mirrors.conf';