Parcourir la source

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

pull/1/head
10sr il y a 11 ans
Parent
révision
dfc88b74b9
1 fichiers modifiés avec 22 ajouts et 0 suppressions
  1. +22
    -0
      bashrc

+ 22
- 0
bashrc Voir le fichier

@@ -292,6 +292,28 @@ clk(){
done
}

s(){
if test $# -eq 0
then
echo "No search word given." 1>&2
return 1
fi

if git rev-parse --git-dir >/dev/null 2>&1
then
git grep -n "$1"
elif which ag >/dev/null
then
ag --pager="$PAGER" "$1"
elif which ack >/dev/null
then
ack --pager="$PAGER" "$1"
else
echo "No search command found. Use grep." 2>&1
return 127
fi
}

man(){
env \
LESS_TERMCAP_mb=$(printf "\e[1;35m") \


Chargement…
Annuler
Enregistrer