Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/apt-mirror/apt-mirror.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormkdutchman <melvin@lancasterlanterns.com>2019-04-02 22:00:54 +0300
committerGitHub <noreply@github.com>2019-04-02 22:00:54 +0300
commit0588c10c679d862f378b0395593c378110f25579 (patch)
tree0749262bbd622b6425a251aa8c4162bd61c4af7f
parente664486a5d8947c2579e16dd793d762ea3de4202 (diff)
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
-rwxr-xr-xapt-mirror2
1 files changed, 1 insertions, 1 deletions
diff --git a/apt-mirror b/apt-mirror
index effac7e..84a14df 100755
--- a/apt-mirror
+++ b/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++;