don't use cached sudo password in un/installer

2014-11-13 06:00:29 +01:00 · 2014-11-13 06:00:29 +01:00 · f0fd264f5e
commit f0fd264f5e
parent 2d5a068086
2 changed files with 4 additions and 0 deletions
--- a/tools/linux_packaging/stage2.run
+++ b/tools/linux_packaging/stage2.run
@ -159,6 +159,8 @@ if [ "$(id -u)" != "0" ]; then
 			exit 1
 		fi
 		exit
+	else
+		sudo -k # make sudo forget about cached credentials
 	fi

 	if ! sudo date;
--- a/tools/linux_packaging/uninstall.sh.in
+++ b/tools/linux_packaging/uninstall.sh.in
@ -67,6 +67,8 @@ if [ "$(id -u)" != "0" ]; then
 			exit 1
 		fi
 		exit
+	else
+		sudo -k # make sudo forget about cached credentials
 	fi

 	if ! sudo date;