Merge pull request #115 from mkdutchman/patch-1

Replace "rmdir" with "rm -r" when cleaning directories
pull/120/merge
Jeremy T. Bouse 4 months ago committed by GitHub
commit 48dcc4ba37
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