diff options
Diffstat (limited to 'src/lib/conf.sh.in')
| -rw-r--r-- | src/lib/conf.sh.in | 29 |
1 files changed, 25 insertions, 4 deletions
diff --git a/src/lib/conf.sh.in b/src/lib/conf.sh.in index 603a28c..46366d0 100644 --- a/src/lib/conf.sh.in +++ b/src/lib/conf.sh.in @@ -18,14 +18,35 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. + +## configuration begin ## + +# NOTE: $LIBREUSER is $SUDO_USER unless UID->0, or $USER otherwise + +# hackers.git login +# default: $LIBREUSER +REPOUSER= + +# parent directory of default $WORKDIR (per /etc/libretools.conf) +# default: ~$LIBREUSER/ unless SUDO_USER != $USER, +# $HOME/$LIBREUSER/ otherwise +# NOTE: $WORKDIR and $LIBREHOME/.cache must be writable by $LIBREUSER +LIBREHOME= + +## configuration end ## + + if [[ "$(id -u "${SUDO_USER:-root}")" == 0 ]]; then unset SUDO_USER fi LIBREUSER="${SUDO_USER:-$USER}" -if [[ $LIBREUSER == "$USER" ]]; then - LIBREHOME=$HOME -else - eval "LIBREHOME=~$LIBREUSER" +REPOUSER="${REPOUSER:-LIBREUSER}" +if [[ -z "$LIBREHOME" ]]; then + if [[ $LIBREUSER == "$USER" ]]; then + LIBREHOME=$HOME + else + eval "LIBREHOME=~$LIBREUSER" + fi fi if [[ -z ${XDG_CONFIG_HOME:-} ]]; then export XDG_CONFIG_HOME="${LIBREHOME}/.config" |