diff options
Diffstat (limited to '.bashrc')
| -rw-r--r-- | .bashrc | 28 |
1 files changed, 4 insertions, 24 deletions
@@ -1,26 +1,6 @@ -PS1="[\u@\h:\W]> " +[ -n $ENV ] && . $ENV -if [ -z "${SSH_AGENT_PID}" ]; then - if ! [ -e /tmp/ssh-agent-$USER ] - then - ssh-agent 2>/dev/null >/tmp/ssh-agent-$USER - fi - . /tmp/ssh-agent-$USER >/dev/null -fi +PS1="\u@\h:\W " -# Aliases -# `githome` alias is a trick to avoid having git prompt when working -# in different directories of my home folder. I simply rename `.git` -# folder to `.githome` and use the following alias to interact with it. -# On new systems I only need to do the following: -# cd ~ -# git init -# git remote add origin git@git.sr.ht:~mehdix/dotfiles -# or -# git remote add origin https://git.sr.ht/~mehdix/dotfiles -# git fetch -# git checkout -f master -# mv .git .githome -alias githome='git --git-dir ~/.githome --work-tree ~' - -[ -f ~/.fzf.bash ] && source ~/.fzf.bash
\ No newline at end of file +[ -f ~/.fzf.bash ] && . ~/.fzf.bash +[ -f ~/.config/broot/launcher/bash/br ] && . ~/.config/broot/launcher/bash/br |
