-# If not running interactively, don't do anything else
-[[ $- != *i* ]] && return
+# Bash initialization for interactive non-login shells and
+# for remote shells (info "(bash) Bash Startup Files").
-# from https://unix.stackexchange.com/a/55935
-a_prompt() {
- cwd=$(sed -e "s:$HOME:~:" -e "s:\(\.\?[^/]\)[^/]*/:\1/:g" <<<$PWD)
- printf $cwd
+# 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
+
+if [ -n "$IS_GUIX_SYSTEM" ]; then
+ # Source the system-wide file.
+ source /etc/bashrc
+fi
+
+# prompt
+# ------
+
+if [ -z "${debian_chroot:-}" ] && [ -r /etc/debian_chroot ]; then
+ debian_chroot=$(cat /etc/debian_chroot)
+fi
+
+b_prompt() {
+ case $TERM in
+ xterm*)
+ local TITLEBAR="\[\033]0;${debian_chroot:+($debian_chroot) }\h:\w\007\]"
+ ;;
+ *)
+ local TITLEBAR=''
+ ;;
+ esac
+
+ PS1="${TITLEBAR}\
+$([ $(id -u) = "0" ] && printf "\[\e[1;31m\]")\
+: ${debian_chroot:+($debian_chroot) }\
+\h:\w\
+$([ -n "$GUIX_ENVIRONMENT" ] && printf " [env]")\
+ ;\
+$([ $(id -u) = "0" ] && printf "\[\e[00m\]")\
+ "
}
-PS1="\u@\h \$(a_prompt)> "
+b_prompt
-# i-beam cursor
-# echo -e "\033[5 q" # blinking
-echo -e "\033[6 q" # non-blinking
+# cursor
+# ------
-# various bash tweaks
+# i-beam cursor (uncomment one of the two):
+# echo -e "\033[5 q" # blinking
+# echo -e "\033[6 q" # non-blinking
+
+# general configuration and completions
+# -------------------------------------
+
+# disallow overwriting existing file using redirection
+set -o noclobber
+# append to the history file, don't overwrite it
shopt -s histappend
shopt -s cmdhist
+# check the window size after each command and, if necessary,
+# update the values of LINES and COLUMNS.
+shopt -s checkwinsize
+# If set, the pattern "**" used in a pathname expansion context will
+# match all files and zero or more directories and subdirectories.
+#shopt -s globstar
+# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
HISTSIZE=
HISTFILESIZE=
+# don't put duplicate lines or lines starting with space in the
+# history.
HISTCONTROL=ignoreboth
-HISTIGNORE='ls:l:s:g:[bf]g:history'
+# ignore a few very common commands and don't add them to history
+#HISTIGNORE='ls:l:ll:s:g:[bf]g:history:da:li'
HISTTIMEFORMAT='%F %T '
stty stop ""
-# aliases
+# make less more friendly for non-text input files, see lesspipe(1)
+[ -x /usr/bin/lesspipe ] && eval "$(SHELL=/bin/sh lesspipe)"
+
+export GCC_COLORS='error=01;31:warning=01;35:note=01;36:caret=01;32:locus=01:quote=01'
+
+# enable programmable completion features (not needed if already
+# enabled in /etc/bash.bashrc and if /etc/profile sources
+# /etc/bash.bashrc).
+if ! shopt -oq posix; then
+ if [ -f /usr/share/bash-completion/bash_completion ]; then
+ . /usr/share/bash-completion/bash_completion
+ elif [ -f /etc/bash_completion ]; then
+ . /etc/bash_completion
+ fi
+fi
+
+# source Guix shell config dirs, for vte.sh and bash completions
+GUIX_PROFILES=("${HOME}/.guix-profile"
+ "${HOME}/.config/guix/current")
+for profile in "${GUIX_PROFILES[@]}"; do
+ for dir in "${profile}/etc/bash_completion.d" "${profile}/etc/profile.d"; do
+ if [ -d "${dir}" ]; then
+ for f in "${dir}"/*; do
+ . $f
+ done
+ fi
+ done
+done
+
+# aliases and functions
+# ---------------------
+
+if [ -f ~/.bash_aliases ]; then
+ . ~/.bash_aliases
+fi
+
alias ls='ls --color=auto'
-alias l='ls -lh' # long format and human-readable sizes
-alias ll='l -A' # long format, all files
-alias g='git'
-include /usr/share/bash-completion/completions/git && __git_complete g _git
-alias mpv="mpv --ytdl-format mp4"
+alias l='ls -Flh' # long format and human-readable sizes
+alias ll='l -a' # long format, all files
+alias dir='dir --color=auto'
+alias vdir='vdir --color=auto'
+alias grep='grep --color=auto'
+alias egrep='grep -E --color=auto'
+alias fgrep='grep -F --color=auto'
+alias mpv="mpv --ytdl-format=mp4"
alias mv="mv -iv"
alias cp="cp -iv"
-alias scl=systemctl
-alias jcl=journalctl
-alias m="mbsync csclub; mbsync uwaterloo; mbsync amin"
-alias best="youtube-dl -f best"
-
-aur() {
- cd ~/usr/builds
- [ -d ${1} ] || git clone https://aur.archlinux.org/${1}.git
- cd ${1}
-}
+alias mbsync='mbsync -c "$XDG_CONFIG_HOME"/isync/mbsyncrc'
+alias getmail='getmail --getmaildir "$XDG_CONFIG_HOME"/getmail --rcfile getmailrc'
+alias m="mbsync csclub; mbsync kelar; mbsync shemshak; mbsync gnub; getmail"
+alias e="$EDITOR"
+alias se="SUDO_EDITOR=\"emacsclient\" sudo -e"
+
+alias alert='notify-send --urgency=low \
+-i "$([ $? = 0 ] && echo terminal || echo error)" \
+"$(history|tail -n1|sed -e '\''s/^\s*[0-9]\+\s*//;s/[;&|]\s*alert$//'\'')"'
+
+alias da='change-theme dark'
+alias li='change-theme light'
-# fzf
-include /usr/share/fzf/key-bindings.bash
-include /usr/share/fzf/completion.bash
+bash_completions_dir=/usr/share/bash-completion/completions/
-if ! pgrep -u "$USER" ssh-agent > /dev/null; then
- ssh-agent > ~/.ssh-agent-thing
+alias dquilt="quilt --quiltrc=${XDG_CONFIG_HOME}/quilt/quiltrc-dpkg"
+quilt_comps="${bash_completions_dir}/quilt"
+if [ -f "${quilt_comps}" ]; then
+ . "${quilt_comps}"
+ complete -F _quilt_completion -o filenames dquilt
fi
-if [[ ! "$SSH_AUTH_SOCK" ]]; then
- eval "$(<~/.ssh-agent-thing)"
+
+pass_otp_comps="${bash_completions_dir}/pass-otp"
+if [ -f "${pass_otp_comps}" ]; then
+ . "${pass_otp_comps}"
fi
+
+function t {
+ cd $(mktemp -d /tmp/$1.XXXX)
+}