2023-01-10 16:37:39 +01:00
|
|
|
# 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
|
|
|
|
|
2023-01-17 19:07:34 +01:00
|
|
|
# Honor per-interactive-shell startup file
|
|
|
|
if [ -f ~/.bashrc ]; then source ~/.bashrc; fi
|
|
|
|
PS1='\u@\h \w${GUIX_ENVIRONMENT:+ [env]}\$ '
|
|
|
|
# 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
|
|
|
|
|
2023-01-10 16:37:39 +01:00
|
|
|
# Honor per-interactive-shell startup file
|
|
|
|
if [ -f ~/.bashrc ]; then source ~/.bashrc; fi
|
|
|
|
PS1='\u@\h \w${GUIX_ENVIRONMENT:+ [env]}\$ '
|
|
|
|
# Honor per-interactive-shell startup file
|
|
|
|
if [ -f ~/.bashrc ]; then . ~/.bashrc; fi
|
|
|
|
|
2023-01-17 19:07:34 +01:00
|
|
|
|