diff options
| author | Mehdi Sadeghi <mehdi@mehdix.org> | 2021-05-25 22:47:41 +0200 |
|---|---|---|
| committer | Mehdi Sadeghi <mehdi@mehdix.org> | 2021-05-25 22:47:41 +0200 |
| commit | d0c7230a9fb78a87a919b9aff05f6630fa6500f5 (patch) | |
| tree | 1da445360356be98e1de836b7d314c6662ae834d /.bashrc | |
| parent | eb1dbbb8be24a284777dc341c59841051e68045a (diff) | |
Simplify for bourne shell use.
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 |