]> Frank Brehm's Git Trees - pixelpark/pp-admin-tools.git/commitdiff
Adding scripts/fix-memberof
authorFrank Brehm <frank@brehm-online.com>
Thu, 3 Nov 2022 13:16:22 +0000 (14:16 +0100)
committerFrank Brehm <frank@brehm-online.com>
Thu, 3 Nov 2022 13:16:22 +0000 (14:16 +0100)
scripts/functions.rc

index cb6621588425cc0714cb205cdfc52bf6fd2e0c1c..7853d7ca962a4a1866bec57ee9da2a6673b4fcbd 100644 (file)
@@ -370,6 +370,17 @@ RM() {
 
 }
 
+#------------------------------------------------------------------------------
+RM_force() {
+
+    if [[ "${VERBOSE}" != "y" ]] ; then
+        rm --force "$@"
+    else
+        rm --force --verbose "$@"
+    fi
+
+}
+
 #------------------------------------------------------------------------------
 MKDIR() {