diff options
Diffstat (limited to 'etc')
| -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 |