]> arthur.barton.de Git - ConfigScripts.git/commit
projects / ConfigScripts.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc85dd6) | patch
Don't set $USER and $UID
authorAlexander Barton <alex@barton.de>
Sat, 15 Mar 2014 14:01:24 +0000 (15:01 +0100)
committerAlexander Barton <alex@barton.de>
Sat, 15 Mar 2014 14:01:24 +0000 (15:01 +0100)
commit061a72a767b36d16188639ca8ccb2d1f41a11409
treee1da93ad85953663a491ff3186e9c403a93f6cf0tree | snapshot
parentbc85dd687f594956dd77348696af49e2efee9a41commit | diff
Don't set $USER and $UID

$UID is unsed, and $USER can be replaced by $LOGNAME.

Reason: our own setting of $UID and $USER fails on systems that only
provide a very limited id(1) binary; like A/UX ...
sys/bashrc diff | blob | history
sys/profile diff | blob | history
user/bash_logout diff | blob | history
Alex' system and user "dot files"