local/bin/homeinit: Use XDG_BIN_HOME.

master
Pierre Neidhardt 2020-06-11 11:49:04 +02:00
parent 1fd44f47ae
commit ffab601b40
1 changed files with 4 additions and 2 deletions

View File

@ -14,6 +14,7 @@ SUBSTITUTE_URLS=https://ci.guix.gnu.org
[ -z "$SOURCEDIR" ] && SOURCEDIR="$HOME/personal"
[ -z "$XDG_CONFIG_HOME" ] && XDG_CONFIG_HOME="$HOME/.config"
[ -z "$XDG_DATA_HOME" ] && XDG_DATA_HOME="$HOME/.local/share"
[ -z "$XDG_BIN_HOME" ] && XDG_BIN_HOME="$XDG_DATA_HOME/../bin"
usage() {
cat <<EOF>&2
@ -33,6 +34,7 @@ Environment variables:
SOURCEDIR=$SOURCEDIR
XDG_CONFIG_HOME=$XDG_CONFIG_HOME
XDG_DATA_HOME=$XDG_DATA_HOME
XDG_BIN_HOME=$XDG_BIN_HOME
Direct link:
@ -338,9 +340,9 @@ if inpath guix; then
rm -rv "$(dirname "$PROFILE")"
fi
if [ -x ~/.local/bin/updatedb-local ]; then
if [ -x "$XDG_BIN_HOME"/updatedb-local ]; then
section "locate db"
~/.local/bin/updatedb-local
"$XDG_BIN_HOME"/updatedb-local
fi
if [ -f ~/personal/history/eshell.gpg ]; then