+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 mb="mbsync csclub; mbsync uwaterloo; mbsync shemshak"
+alias gm="getmail"
+alias m="mb; gm"
+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}
+}
+
+# fzf
+#include /usr/share/fzf/key-bindings.bash
+#include /usr/share/fzf/completion.bash
+
+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