Gebruik w3m browser in terminals.
[Dotty.git] / bash / .bashrc
1 #
2 # ~/.bashrc
3 #
5 # If not running interactively, don't do anything
6 [[ $- != *i* ]] && return
8 alias ls='ls --color=auto'
10 git_branch() {
11   git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1)/'
12 }
14 PS1="[\u@\h \W]\[\033[00;32m\]\$(git_branch)\[\033[00m\]\$ "
16 unset SSH_AGENT_PID
17 if [ "${gnupg_SSH_AUTH_SOCK_by:-0}" -ne $$ ]; then
18   export SSH_AUTH_SOCK="$(gpgconf --list-dirs agent-ssh-socket)"
19 fi
21 export GPG_TTY=$(tty)
22 gpg-connect-agent updatestartuptty /bye >/dev/null
24 [ -n "$DISPLAY" ] && export BROWSER=firefox || export BROWSER=w3m