summaryrefslogtreecommitdiff
path: root/script/delete_file.sh
diff options
context:
space:
mode:
authormaddaat <git@maddaat.org>2026-04-10 17:34:33 +0400
committermaddaat <git@maddaat.org>2026-04-10 17:34:33 +0400
commiteb670e687edcc065c2886be806acd80a697f9bea (patch)
treef09c584c635bb817ceadf4a9ea413c01b06ef3e0 /script/delete_file.sh
downloadinfra-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_file.sh')
-rw-r--r--script/delete_file.sh14
1 files changed, 14 insertions, 0 deletions
diff --git a/script/delete_file.sh b/script/delete_file.sh
new file mode 100644
index 0000000..ebcc5b0
--- /dev/null
+++ b/script/delete_file.sh
@@ -0,0 +1,14 @@
+delete_file() {
+ path="$1"
+
+ if [ "$DELETE_OBSOLETE" = 'YES' ]; then
+ if [ -e "$path" -o -e "$path.old" ]; then
+ echo '==='
+ if [ -e "$path" ]; then echo "rm -f \"$path\""; fi
+ if [ -e "$path.old" ]; then echo "rm -f \"$path.old\""; fi
+ if [ "$DRY" != 'YES' ]; then
+ rm -f "$path" "$path.old"
+ fi
+ fi
+ fi
+}