diff options
| author | maddaat <git@maddaat.org> | 2026-04-10 17:34:33 +0400 |
|---|---|---|
| committer | maddaat <git@maddaat.org> | 2026-04-10 17:34:33 +0400 |
| commit | eb670e687edcc065c2886be806acd80a697f9bea (patch) | |
| tree | f09c584c635bb817ceadf4a9ea413c01b06ef3e0 /script/delete_dir.sh | |
| download | infra-eb670e687edcc065c2886be806acd80a697f9bea.tar infra-eb670e687edcc065c2886be806acd80a697f9bea.tar.gz infra-eb670e687edcc065c2886be806acd80a697f9bea.tar.bz2 infra-eb670e687edcc065c2886be806acd80a697f9bea.tar.lz infra-eb670e687edcc065c2886be806acd80a697f9bea.tar.xz infra-eb670e687edcc065c2886be806acd80a697f9bea.tar.zst infra-eb670e687edcc065c2886be806acd80a697f9bea.zip | |
Initial commit
Diffstat (limited to 'script/delete_dir.sh')
| -rw-r--r-- | script/delete_dir.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/script/delete_dir.sh b/script/delete_dir.sh new file mode 100644 index 0000000..93df582 --- /dev/null +++ b/script/delete_dir.sh @@ -0,0 +1,13 @@ +delete_dir() { + path="$1" + + if [ "$DELETE_OBSOLETE" = 'YES' ]; then + if [ -e "$path" ]; then + echo '===' + echo "rmdir \"$path\"" + if [ "$DRY" != 'YES' ]; then + rmdir "$path" + fi + fi + fi +} |