4 ms·
Mostly: function ff() { find ${2:-.} -name "*$1*" ; } function gg() { grep -n $* ; } function ggr() { grep -rn --exclude-dir=.git $1 ${2:-.} ; } functi
by buserror 10y ago
Mostly:
function ff() { find ${2:-.} -name "*$1*" ; }
function gg() { grep -n $* ; }
function ggr() { grep -rn --exclude-dir=.git $1 ${2:-.} ; }
function ggi() { grep -in $* ; }
function ggri() { grep -rin --exclude-dir=.git $* ${2:-.} ; }
Oh, and that one:
# display a man page as pdf window
function pman() {
local pdf="/tmp/pman-$RANDOM.pdf" \
(man -t $* | ps2pdf - >$pdf && mupdf -r 96 $pdf 2>/dev/null )&
}
- vram22 10y agoSpeaking of man pages, this script is tiny but useful (IMO): m, a Unix shell utility to save cleaned-up man pages as text: https://jugad2.blogspot.in/2017/03/m-unix-shell-utility-to-save-cleaned-up.html https://jugad2.blogspot.in/2017/03/m-unix-shell-utility-to-s...