Quello che faccio è mettere alcuni spazi vuoti davanti alla bandiera in questo modo:
/ -o
Non è affidabile al 100%, ma fai molti meno salti mortali. Se desideri una percentuale di successo ancora migliore, prova "/^ +-o" . Ciò troverebbe le righe che iniziano con spazi vuoti e seguite da -o. Tuttavia, non vorrei digitare spesso quella strana stringa.
Ho definito questa funzione nel mio .bashrc
function manswitch () { man $1 | less -p "^ +$2"; }
che puoi usare come segue
manswitch grep -r
L'ho preso da questa riga di comandofu.
Nota:l'argomento del -p interruttore di less è una regexp che dice a less di cercare una riga che inizia con (^ ) uno o più spazi (+ ) seguito dallo switch (secondo arg. quindi $2 ), quindi ha il vantaggio di lavorare con una formattazione diversa.
Inoltre puoi aprire la pagina man in una posizione specifica dalla riga di comando con
man -P 'less -p " -o"' mount