diff options
| author | EuAndreh <eu@euandre.org> | 2022-05-16 01:12:44 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-05-16 01:12:50 -0300 |
| commit | e6301e05fce35fac4b46f8b1886c514cd8285e72 (patch) | |
| tree | 2e09933e1da48dd84c913172a5935a21d026a491 /etc/bash/rc | |
| parent | etc/bash/rc: Don't source /etc/bashrc from user file (diff) | |
| download | dotfiles-e6301e05fce35fac4b46f8b1886c514cd8285e72.tar.gz dotfiles-e6301e05fce35fac4b46f8b1886c514cd8285e72.tar.xz | |
etc/bash/rc: manually load $XDG_CONFIG_HOME/guix/current/etc/profile
Guix sources the hardcoded ~/.config/guix/current in /etc/profile, so my
custom path needs to be loaded manually.
Diffstat (limited to 'etc/bash/rc')
| -rw-r--r-- | etc/bash/rc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/etc/bash/rc b/etc/bash/rc index e7c6d99..a70b770 100644 --- a/etc/bash/rc +++ b/etc/bash/rc @@ -19,9 +19,13 @@ mkdir -p \ "$XDG_STATE_HOME" \ "$XDG_LOG_HOME" +GUIX_PROFILE="$XDG_CONFIG_HOME"/guix/current +if [ -r "$GUIX_PROFILE"/etc/profile ]; then + . "$GUIX_PROFILE"/etc/profile +fi + HISTSIZE= HISTFILE="$XDG_STATE_HOME/bash-history" - HISTCONTROL=ignorespace:ignoredups export SRC=~/dev |