[Dev] [INTERVENTION MAYBE REQUIRED] libretools 20180920 release announcement
lukeshu at lukeshu.com
Fri Sep 21 23:03:34 GMT 2018
On Fri, 21 Sep 2018 17:32:39 -0400,
> ok i get it - so wouldnt $LIBREUSER always be identical to $USER then?
If you don't use `sudo`, yes.
$ man conf.sh
CONF.SH(3) libretools Manual CONF.SH(3)
If $SUDO_USER is set, then $LIBREUSER is set to that.
Otherwise, $LIBREUSER is set to the value of $USER.
~ Luke Shumaker
More information about the Dev