--- profile     2002-08-26 15:14:24.000000000 +0200
+++ profile.new 2002-09-10 17:07:06.000000000 +0200
@@ -11,7 +11,7 @@
 fi

 if [ "$UID" -ge 500 ] && ! echo ${PATH} |grep -q /usr/games ; then
-    export PATH=$PATH:/usr/games
+    PATH=$PATH:/usr/games
 fi

 umask 022




Reply via email to