dded17c3f0169bd66d331fa9804877a1fa848dcf
1 # If not running interactively, don't do anything else
2 [[ $
- != *i
* ]] && return
4 [[ $TERM = "eterm-color" ||
$TERM = "screen" ]] && source ~
/.bash_profile
6 # from https://unix.stackexchange.com/a/55935
8 cwd
=$
(sed -e "s:$HOME:~:" -e "s:\(\.\?[^/]\)[^/]*/:\1/:g" <<<$PWD)
11 PS1
="\u@\h \$(a_prompt)> "
14 # echo -e "\033[5 q" # blinking
15 echo -e "\033[6 q" # non-blinking
22 HISTCONTROL
=ignoreboth
23 HISTIGNORE
='ls:l:s:g:[bf]g:history'
24 HISTTIMEFORMAT
='%F %T '
28 alias ls='ls --color=auto'
29 alias l
='ls -lh' # long format and human-readable sizes
30 alias ll
='l -A' # long format, all files
32 include
/usr
/share
/bash-completion
/completions
/git
&& __git_complete g _git
33 alias mpv
="mpv --ytdl-format mp4"
38 alias mbsync
='mbsync -c "$XDG_CONFIG_HOME"/isync/mbsyncrc'
39 alias m
="mbsync csclub; mbsync uwaterloo; mbsync amin"
40 alias best
="youtube-dl -f best"
44 [ -d ${1} ] || git clone https
://aur.archlinux.org
/${1}.git
49 include
/usr
/share
/fzf
/key-bindings.bash
50 include
/usr
/share
/fzf
/completion.bash
52 if ! pgrep
-u "$USER" ssh-agent
> /dev
/null
; then
53 ssh-agent
> ~
/.ssh-agent-thing
55 if [[ ! "$SSH_AUTH_SOCK" ]]; then
56 eval "$(<~/.ssh-agent-thing)"