From 2158cf37bd1873b9fbeaff89bdbc3f5338e1236f Mon Sep 17 00:00:00 2001
From: Carl Kittelberger <icedream@icedream.pw>
Date: Mon, 19 Feb 2018 09:56:15 +0100
Subject: [PATCH] Make sure to exit the script after update is done.

---
 home/bin/update-profile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/home/bin/update-profile b/home/bin/update-profile
index 8ec696c..5f2eeb9 100755
--- a/home/bin/update-profile
+++ b/home/bin/update-profile
@@ -44,7 +44,9 @@ fi
 		
 		if file_changed "${HOME}/bin/update-profile" "home/bin/update-profile"; then
 			# Use new profile update script instead
-			_CHECKOUT_DONE=1 home/bin/update-profile
+			# Putting exit 0 on same line here for security since the old script
+			# will be deleted.
+			_CHECKOUT_DONE=1 home/bin/update-profile && exit 0
 		fi
 	fi