run apt-cache policy instead of dumping sources.list

main
parent c45e7d9baf
commit efaea907e9
Signed by untrusted user: josch
GPG Key ID: F2CBA5C78FBD83E1

@ -1507,9 +1507,9 @@ sub setup {
); );
close $fh; close $fh;
if ($indextargets eq '') { if ($indextargets eq '') {
info "content of /etc/apt/sources.list:";
if ($verbosity_level >= 1) { if ($verbosity_level >= 1) {
copy("$options->{root}/etc/apt/sources.list", *STDERR); 0 == system('apt-cache', 'policy')
or error "apt-cache failed: $?";
} }
error "apt-get update didn't download anything"; error "apt-get update didn't download anything";
} }

Loading…
Cancel
Save