[Dev] [INTERVENTION MAYBE REQUIRED] libretools 20180920 release announcement

Luke Shumaker lukeshu at lukeshu.com
Fri Sep 21 23:03:34 GMT 2018

On Fri, 21 Sep 2018 17:32:39 -0400,
bill-auger wrote:
> 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.

Happy hacking,
~ Luke Shumaker

More information about the Dev mailing list