# 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 # from https://unix.stackexchange.com/a/55935 a_prompt() { cwd=$(sed -e "s:$HOME:~:" -e "s:\(\.\?[^/]\)[^/]*/:\1/:g" <<<$PWD) printf $cwd } # Adjust the prompt depending on whether we're in 'guix environment'. if [ -n "$GUIX_ENVIRONMENT" ] then PS1="\u@\h [env] \$(a_prompt)> " else PS1="\u@\h \$(a_prompt)> " fi # i-beam cursor # echo -e "\033[5 q" # blinking # echo -e "\033[6 q" # non-blinking # various bash tweaks shopt -s histappend shopt -s cmdhist HISTSIZE= HISTFILESIZE= HISTCONTROL=ignoreboth HISTIGNORE='ls:l:s:g:[bf]g:history' HISTTIMEFORMAT='%F %T ' stty stop "" # aliases alias ls='ls -p --color=auto' alias l='ls -lh' # long format and human-readable sizes alias ll='l -A' # long format, all files alias grep='grep --color=auto' alias mpv="mpv --ytdl-format mp4" alias mv="mv -iv" alias cp="cp -iv" alias mbsync='mbsync -c "$XDG_CONFIG_HOME"/isync/mbsyncrc' alias getmail='getmail --getmaildir "$XDG_CONFIG_HOME"/getmail --rcfile getmailrc' alias m="mbsync csclub; mbsync uwaterloo; mbsync shemshak; mbsync gnub" alias best="youtube-dl -f best" alias e="$EDITOR" alias se="SUDO_EDITOR=\"emacsclient\" sudo -e" aur() { cd ~/usr/builds [ -d ${1} ] || git clone https://aur.archlinux.org/${1}.git cd ${1} } if [ -z "$IS_GUIX_SYSTEM" ]; then if ! pgrep -u "$USER" ssh-agent > /dev/null; then ssh-agent > ~/.ssh-agent-thing fi if [[ ! "$SSH_AUTH_SOCK" ]]; then eval "$(<~/.ssh-agent-thing)" fi fi