From 8f2022173a25877ccf895a5e442a4c6abab7e8cf Mon Sep 17 00:00:00 2001
From: Michael Tremer <michael.tremer@ipfire.org>
Date: Fri, 4 Aug 2017 21:40:53 +0000
Subject: [PATCH] settings: Use file_delete to delete a file

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
---
 src/functions/functions.settings | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/functions/functions.settings b/src/functions/functions.settings
index fad0cd7d..a7d94640 100644
--- 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() {
-- 
2.39.2