From daef61498396d6357db1da429b3cb5fbd0f639f5 Mon Sep 17 00:00:00 2001
From: Benedikt Peetz <benedikt.peetz@b-peetz.de>
Date: Sun, 4 Aug 2024 18:57:20 +0200
Subject: fix(common/init): Also delete the init.local file, if it exists

---
 common/init | 1 +
 1 file changed, 1 insertion(+)

diff --git a/common/init b/common/init
index 63a72fa..d875cdd 100644
--- a/common/init
+++ b/common/init
@@ -15,6 +15,7 @@ remove_self() {
     if [ "$avoid_cleanup" = "false" ]; then
         rm "$(realpath "$0")"
         rm "$(realpath "$(dirname "$0")")/shell_line_editor.sh"
+        [ -f "$(realpath "$(dirname "$0")")/init.local" ] && rm "$(realpath "$(dirname "$0")")/init.local"
     fi
 }
 require() {
-- 
cgit 1.4.1