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

[Luke Shumaker]

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)
    …
           LIBREUSER
                  If $SUDO_USER is set, then $LIBREUSER is set to  that.
                  Otherwise, $LIBREUSER is set to the value of $USER.

-- 
Happy hacking,
~ Luke Shumaker