| | 1 | # Bash initialization for interactive non-login shells and |
| | 2 | # for remote shells (info "(bash) Bash Startup Files"). |
| | 3 | |
| | 4 | # Export 'SHELL' to child processes. Programs such as 'screen' |
| | 5 | # honor it and otherwise use /bin/sh. |
| | 6 | export SHELL |
| | 7 | |
| | 8 | if [[ $- != *i* ]] |
| | 9 | then |
| | 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 |
| | 14 | |
| | 15 | # Don't do anything else. |
| | 16 | return |
| | 17 | fi |
| | 18 | |
| | 19 | if [ -n "$IS_GUIX_SYSTEM" ]; then |
| | 20 | # Source the system-wide file. |
| | 21 | source /etc/bashrc |
| | 22 | fi |
| | 23 | |
| | 24 | # from https://unix.stackexchange.com/a/55935 |
| | 25 | a_prompt() { |
| | 26 | cwd=$(sed -e "s:$HOME:~:" -e "s:\(\.\?[^/]\)[^/]*/:\1/:g" <<<$PWD) |
| | 27 | printf $cwd |
| | 28 | } |
| | 29 | # Adjust the prompt depending on whether we're in 'guix environment'. |
| | 30 | if [ -n "$GUIX_ENVIRONMENT" ] |
| | 31 | then |
| | 32 | PS1="\u@\h [env] \$(a_prompt)> " |
| | 33 | else |
| | 34 | PS1="\u@\h \$(a_prompt)> " |
| | 35 | fi |
| | 36 | |
| | 37 | # set terminal title |
| | 38 | PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: $(a_prompt)\007"' |
| | 39 | |
| | 40 | # i-beam cursor |
| | 41 | # echo -e "\033[5 q" # blinking |
| | 42 | # echo -e "\033[6 q" # non-blinking |
| | 43 | |
| | 44 | # various bash tweaks |
| | 45 | # append to the history file, don't overwrite it |
| | 46 | shopt -s histappend |
| | 47 | shopt -s cmdhist |
| | 48 | # check the window size after each command and, if necessary, |
| | 49 | # update the values of LINES and COLUMNS. |
| | 50 | shopt -s checkwinsize |
| | 51 | # If set, the pattern "**" used in a pathname expansion context will |
| | 52 | # match all files and zero or more directories and subdirectories. |
| | 53 | #shopt -s globstar |
| | 54 | # for setting history length see HISTSIZE and HISTFILESIZE in bash(1) |
| | 55 | HISTSIZE= |
| | 56 | HISTFILESIZE= |
| | 57 | # don't put duplicate lines or lines starting with space in the |
| | 58 | # history. |
| | 59 | HISTCONTROL=ignoreboth |
| | 60 | # ignore a few very common commands and don't add them to history |
| | 61 | HISTIGNORE='ls:l:s:g:[bf]g:history' |
| | 62 | HISTTIMEFORMAT='%F %T ' |
| | 63 | stty stop "" |
| | 64 | |
| | 65 | # aliases |
| | 66 | alias ls='ls -p --color=auto' |
| | 67 | alias l='ls -lh' # long format and human-readable sizes |
| | 68 | alias ll='l -A' # long format, all files |
| | 69 | alias dir='dir --color=auto' |
| | 70 | alias vdir='vdir --color=auto' |
| | 71 | alias grep='grep --color=auto' |
| | 72 | alias fgrep='fgrep --color=auto' |
| | 73 | alias egrep='egrep --color=auto' |
| | 74 | alias mpv="mpv --ytdl-format mp4" |
| | 75 | alias mv="mv -iv" |
| | 76 | alias cp="cp -iv" |
| | 77 | alias mbsync='mbsync -c "$XDG_CONFIG_HOME"/isync/mbsyncrc' |
| | 78 | alias getmail='getmail --getmaildir "$XDG_CONFIG_HOME"/getmail --rcfile getmailrc' |
| | 79 | alias m="mbsync csclub; mbsync uwaterloo; mbsync shemshak; mbsync gnub" |
| | 80 | alias best="youtube-dl -f best" |
| | 81 | alias e="$EDITOR" |
| | 82 | alias se="SUDO_EDITOR=\"emacsclient\" sudo -e" |
| | 83 | |
| | 84 | aur() { |
| | 85 | cd ~/usr/builds |
| | 86 | [ -d ${1} ] || git clone https://aur.archlinux.org/${1}.git |
| | 87 | cd ${1} |
| | 88 | } |
| | 89 | |
| | 90 | # separate alias definitions file, if exists |
| | 91 | if [ -f ~/.bash_aliases ]; then |
| | 92 | . ~/.bash_aliases |
| | 93 | fi |
| | 94 | |
| | 95 | # enable programmable completion features (not needed if already |
| | 96 | # enabled in /etc/bash.bashrc and if /etc/profile sources |
| | 97 | # /etc/bash.bashrc). |
| | 98 | if ! shopt -oq posix; then |
| | 99 | if [ -f /usr/share/bash-completion/bash_completion ]; then |
| | 100 | . /usr/share/bash-completion/bash_completion |
| | 101 | elif [ -f /etc/bash_completion ]; then |
| | 102 | . /etc/bash_completion |
| | 103 | fi |
| | 104 | fi |
| | 105 | |
| | 106 | if [ -z "$IS_GUIX_SYSTEM" ]; then |
| | 107 | if ! pgrep -u "$USER" ssh-agent > /dev/null; then |
| | 108 | ssh-agent > ~/.ssh-agent-thing |
| | 109 | fi |
| | 110 | if [[ ! "$SSH_AUTH_SOCK" ]]; then |
| | 111 | eval "$(<~/.ssh-agent-thing)" |
| | 112 | fi |
| | 113 | fi |
projects / ~bandali / configs / blame_incremental