commit 1b70648b54e116d587787efee32f7b2362335257 parent 9871eafe3d3d62d01345d68696e540db360706a0 Author: Pablo Cárdenas <pablo.cardenas@imca.edu.pe> Date: Sun, 2 Jun 2024 13:32:18 -0500 bash: Removed _git_ps1 Using _git_ps1 has bad performance in mobile devices and windows. Diffstat:
| M | .bashrc | | | 12 | +----------- |
1 file changed, 1 insertion(+), 11 deletions(-)
diff --git a/.bashrc b/.bashrc @@ -24,17 +24,7 @@ source "${XDG_CONFIG_HOME:-$HOME/.config}"/shell/aliases.sh GPG_TTY=$(tty) -[ -f /usr/share/git/completion/git-prompt.sh ] && source /usr/share/git/completion/git-prompt.sh -GIT_PS1_SHOWCOLORHINTS= -GIT_PS1_SHOWDIRTYSTATE=1 -GIT_PS1_SHOWSTASHSTATE=1 -GIT_PS1_SHOWUNTRACKEDFILES=1 -GIT_PS1_SHOWUPSTREAM="auto" -GIT_PS1_COMPRESSSPARSESTATE=1 -GIT_PS1_SHOWCONFLICTSTATE=1 -GIT_PS1_HIDE_IF_PWD_IGNORED=1 -GIT_PS1_DESCRIBE_STYLE=1 -PS1='\$$([[ $PWD/ = $HOME/* ]] && GIT_DIR=$HOME/.dotfiles GIT_WORK_TREE=$HOME __git_ps1)$(__git_ps1) ' +PS1='\$ ' cd() { echo "Use pushd!"; }