2023-01-10 16:37:39 +01:00
|
|
|
# Bash initialization for interactive non-login shells and
|
|
|
|
# for remote shells (info "(bash) Bash Startup Files").
|
|
|
|
|
|
|
|
# Export 'SHELL' to child processes. Programs such as 'screen'
|
|
|
|
# honor it and otherwise use /bin/sh.
|
|
|
|
export SHELL
|
|
|
|
|
|
|
|
if [[ $- != *i* ]]
|
|
|
|
then
|
|
|
|
# We are being invoked from a non-interactive shell. If this
|
|
|
|
# is an SSH session (as in "ssh host command"), source
|
|
|
|
# /etc/profile so we get PATH and other essential variables.
|
|
|
|
[[ -n "$SSH_CLIENT" ]] && source /etc/profile
|
|
|
|
|
|
|
|
# Don't do anything else.
|
|
|
|
return
|
|
|
|
fi
|
|
|
|
|
|
|
|
# Source the system-wide file.
|
|
|
|
source /etc/bashrc
|
|
|
|
|
|
|
|
# Adjust the prompt depending on whether we're in 'guix environment'.
|
|
|
|
if [ -n "$GUIX_ENVIRONMENT" ]
|
|
|
|
then
|
2023-01-18 16:17:55 +01:00
|
|
|
PS1='\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\] [env] \$ '
|
2023-01-10 16:37:39 +01:00
|
|
|
else
|
|
|
|
PS1='\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '
|
|
|
|
fi
|
|
|
|
|
|
|
|
export BSD_GAMES_DIR=~/.local/share/bsd-games
|
2023-01-10 16:43:27 +01:00
|
|
|
export GCC_COLORS='error=01;31:warning=01;35:note=01;36:caret=01;32:locus=01:quote=01'
|
|
|
|
export GITLAB_URL=https://git.a-lec.org
|
|
|
|
export GIT_AUTHOR_NAME=Adrien\ Bourmault
|
|
|
|
export GIT_AUTHOR_EMAIL=neox@a-lec.org
|
2023-01-18 16:02:34 +01:00
|
|
|
#export LIBRARY_PATH=~/.guix-profile/include:$LIBRARY_PATH
|
|
|
|
#export LD_LIBRARY_PATH=~/.guix-profile/lib:$LIBRARY_PATH:$LD_LIBRARY_PATH
|
2023-01-10 16:37:39 +01:00
|
|
|
|
2023-01-18 16:17:55 +01:00
|
|
|
source ~/.bash_secrets
|
|
|
|
|