settings: Use file_delete to delete a file

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/src/functions/functions.settings b/src/functions/functions.settings
index fad0cd7dde6cf2b0bc7e032746c2349d3f43a479..a7d94640546b5402e677d331638bb78f280c539e 100644 (file)
--- a/src/functions/functions.settings
+++ b/src/functions/functions.settings
@@ -173,7 +173,7 @@ settings_remove() {
                return ${EXIT_ERROR}
        fi
 
-       rm -f "${settings_file}"
+       file_delete "${settings_file}"
 }
 
 settings_print() {