diff options
| -rw-r--r-- | common/init | 1 |
1 files changed, 1 insertions, 0 deletions
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() { |