Replace "rmdir" with "rm -r" when cleaning directories

rmdir errors out if directories are nonempty. rm -r is more dependable and gets rid of them regardless
pull/115/head
mkdutchman 4 years ago committed by GitHub
parent e664486a5d
commit 0588c10c67
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      apt-mirror

@ -1031,7 +1031,7 @@ else
print CLEAN "echo 'Removing $total unnecessary directories...'\n";
foreach (@rm_dirs)
{
print CLEAN "if test -d '$_'; then rmdir '$_'; fi\n";
print CLEAN "if test -d '$_'; then rm -r '$_'; fi\n";
print CLEAN "echo -n '[" . int( 100 * $i / $total ) . "\%]'\n" unless $i % 50;
print CLEAN "echo -n .\n";
$i++;

Loading…
Cancel
Save