From 76d68fefe3336de80fc1d6568e78d044918f0625 Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Thu, 7 Aug 2008 18:56:37 +0200
Subject: [PATCH 1/1] Make sure that $UID is set.

---
 install.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/install.sh b/install.sh
index 6804f0b..c7e7d25 100755
--- a/install.sh
+++ b/install.sh
@@ -28,9 +28,12 @@ Copy_File() {
 	echo "- OK."
 }
 
-echo "Running $NAME ..."
+[ -n "$UID" ] || UID=`id -u`
+export UID
 
-if [ "$UID" -eq 0 ]; then
+echo "Running $NAME (uid=$UID) ..."
+
+if [ "$UID" = "0" ]; then
 	echo "Starting system configuration:"
 	echo " - bash shell:"
 	if [ -e /etc/bash.bashrc ]; then
-- 
2.39.2