diff --git a/.bashrc b/.bashrc new file mode 100644 index 00000000..37eac77d --- /dev/null +++ b/.bashrc @@ -0,0 +1,40 @@ +# 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 + # PS1='\u@\h \w [env]\$ ' + PS1='[\u@\h \w] \D{%F %T}\n[env]\$ ' +else + # PS1='\u@\h \w \$ ' + PS1='[\u@\h \w] \D{%F %T}\n\$ ' +fi + +mkcd(){ + mkdir -p "$@" && cd "$1" +} + +alias ls='ls -p --color=auto' +alias ll='ls -l' +alias la='ls -lAh' +alias l='ls -1' +alias grep='grep --color=auto'