1 # Bash initialization for interactive non-login shells and
2 # for remote shells (info "(bash) Bash Startup Files").
4 # Export 'SHELL' to child processes. Programs such as 'screen'
5 # honor it and otherwise use /bin/sh.
10 # We are being invoked from a non-interactive shell. If this
11 # is an SSH session (as in "ssh host command"), source
12 # /etc/profile so we get PATH and other essential variables.
13 [[ -n "$SSH_CLIENT" ]] && source /etc
/profile
15 # Don't do anything else.
19 if [ -n "$IS_GUIX_SYSTEM" ]; then
20 # Source the system-wide file.
24 # from https://unix.stackexchange.com/a/55935
26 cwd
=$
(sed -e "s:$HOME:~:" -e "s:\(\.\?[^/]\)[^/]*/:\1/:g" <<<$PWD)
30 if [ $
(id
-u) == "0" ]; then
31 PS1
='`printf "\[\e[1;31m\]\$\[\e[00m\]"` '
35 PS1
="\u@\h:\w/`[ -n "$GUIX_ENVIRONMENT" ] && printf \" [env]\"`\n$PS1"
38 PROMPT_COMMAND
='echo -ne "\033]0;${USER}@${HOSTNAME}: $(b_prompt)\007"'
41 # echo -e "\033[5 q" # blinking
42 # echo -e "\033[6 q" # non-blinking
45 # disallow overwriting existing file using redirection
47 # append to the history file, don't overwrite it
50 # check the window size after each command and, if necessary,
51 # update the values of LINES and COLUMNS.
53 # If set, the pattern "**" used in a pathname expansion context will
54 # match all files and zero or more directories and subdirectories.
56 # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
59 # don't put duplicate lines or lines starting with space in the
61 HISTCONTROL
=ignoreboth
62 # ignore a few very common commands and don't add them to history
63 HISTIGNORE
='ls:l:ll:s:g:[bf]g:history:da:li'
64 HISTTIMEFORMAT
='%F %T '
68 alias ls='ls -p --color=auto'
69 alias l
='ls -lh' # long format and human-readable sizes
70 alias ll
='l -A' # long format, all files
71 alias dir
='dir --color=auto'
72 alias vdir='vdir --color=auto'
73 alias grep='grep --color=auto'
74 alias fgrep
='fgrep --color=auto'
75 alias egrep='egrep --color=auto'
76 alias mpv
="mpv --ytdl-format mp4"
79 alias mbsync
='mbsync -c "$XDG_CONFIG_HOME"/isync/mbsyncrc'
80 alias getmail
='getmail --getmaildir "$XDG_CONFIG_HOME"/getmail --rcfile getmailrc'
81 alias m
="mbsync csclub; mbsync uwaterloo; mbsync shemshak; mbsync gnub"
82 alias best
="youtube-dl -f best"
84 alias se
="SUDO_EDITOR=\"emacsclient\" sudo -e"
87 alias da
='change-theme dark'
88 alias li
='change-theme light'
90 alias dquilt
="quilt --quiltrc=${HOME}/.quiltrc-dpkg"
91 complete
-F _quilt_completion
-o filenames dquilt
95 [ -d ${1} ] || git clone https
://aur.archlinux.org
/${1}.git
100 cd $
(mktemp
-d /tmp
/$1.XXXX
)
103 # separate alias definitions file, if exists
104 if [ -f ~
/.bash_aliases
]; then
108 # enable programmable completion features (not needed if already
109 # enabled in /etc/bash.bashrc and if /etc/profile sources
111 if ! shopt -oq posix
; then
112 if [ -f /usr
/share
/bash-completion
/bash_completion
]; then
113 .
/usr
/share
/bash-completion
/bash_completion
114 elif [ -f /etc
/bash_completion
]; then
115 .
/etc
/bash_completion
119 # source Guix shell config dirs, for vte.sh and bash completions
120 GUIX_PROFILES
=("${HOME}/.guix-profile"
121 "${HOME}/.config/guix/current")
122 for profile
in "${GUIX_PROFILES[@]}"; do
123 for dir
in "${profile}/etc/bash_completion.d" "${profile}/etc/profile.d"; do
124 if [ -d "${dir}" ]; then
125 for f
in "${dir}"/*; do