# Set up the system, user profile, and related variables.
# /etc/profile will be sourced by bash automatically
# Set up the home environment profile.
if [ -f ~/.profile ]; then source ~/.profile; fi

# Honor per-interactive-shell startup file
if [ -f ~/.bashrc ]; then source ~/.bashrc; fi
. "$GUIX_PROFILE/etc/profile"
[ "$(tty)" = "/dev/tty1" ] && sx 1>/dev/null 2>&1