Parcourir la source

Merge branch 'master' of github.com:10sr/dotfiles

pull/1/head
10sr il y a 13 ans
Parent
révision
86ed3b0a26
1 fichiers modifiés avec 2 ajouts et 2 suppressions
  1. +2
    -2
      .bashrc

+ 2
- 2
.bashrc Voir le fichier

@@ -42,9 +42,9 @@ replace-cmd(){

export PS1="\$(__my_prompt_function)\$ "
# PROMPT_COMMAND=prompt_function
if iswindows
if false # iswindows
then
export PAGER="tr -d \\r | less"
export PAGER='tr -d \\r | less'
else
export PAGER="less"
fi


Chargement…
Annuler
Enregistrer