Come posso rendere più "amico" l'amico?

20

Quando digito man bash mostra le informazioni nel terminale stesso.

Come faccio a dire " man " per aprire invece le informazioni in gedit? È possibile?

    
posta Zabba 20.04.2011 - 01:32

8 risposte

31

Utilizza questa funzione in .bashrc:

man () { yelp "man:$@"; }

Source

    
risposta data zengr 20.04.2011 - 01:41
3

Basta inserire quanto segue nel terminale:

man bash >/tmp/t;gedit /tmp/t

Ciò creerà un file temporaneo con i contenuti della pagina man e lo aprirà con gedit .

    
risposta data Nathan Osman 20.04.2011 - 01:49
2

Meglio ancora, avere l'uomo formattarlo in HTML e aprirlo in firefox

#!/bin/bash
# open a man page in firefox

# loop through all parameters in order
for i
do
    # if the manpage was found, spawn it in a browser window
    man -f "$i" > /dev/null && coproc man --html=firefox "$i"
done
    
risposta data Bill 23.12.2011 - 08:22
1

Se non vuoi usare una shell: premi alt + f2 e inserisci yelp man:bash . È disponibile anche una cronologia dei comandi e puoi scegliere qualsiasi manpage sostituendo man:bash con la pagina di manuale che ti serve.

    
risposta data cosmo 24.04.2011 - 11:09
1

Oltre ad aprire la pagina man in gedit (come hanno dimostrato le altre risposte), puoi anche creare un pdf della pagina man (come prima notato in questo articolo ) e quindi visualizzarlo in evince . (È necessario ps2pdf e evince installati). Il file pdf viene creato nella tua attuale directory di lavoro e viene mantenuto dopo che evince è stato chiuso.

È sufficiente modificare il comando seguente in base alla pagina man desiderata e modificare i nomi dei file altrimenti i file PDF risultanti verranno sovrascritti. Ecco un esempio per dpkg :

man -t dpkg | ps2pdf - dpkg.pdf && evince dpkg.pdf

Tuttavia, probabilmente è molto più utile costruire una funzione. Puoi aggiungere la seguente funzione al tuo .bashrc o .bash_aliases (assumendo che tu abbia evince e ps2pdf installati, quest'ultimo è nel pacchetto ghostscript ):

mikman() { man -t "" | ps2pdf - "".pdf && setsid evince "".pdf; }

Dopo aver aggiunto la funzione, devi eseguire . .bashrc (o . .bash_aliases ) per generare i tuoi file di configurazione, o riavviare il terminale affinché abbia effetto.

Chiama la funzione con il nome di qualsiasi programma che ha una pagina di manuale, ad esempio mikman dpkg , e eseguirà i comandi e avvierà la manpage in formato pdf. Lanciare la manpage in formato pdf nel tuo lettore di pdf ti dà una guida molto utile in cui è possibile utilizzare strumenti di ricerca e simili.

    
risposta data user76204 17.08.2012 - 14:38
0

Su base individuale, puoi fare:

man mount > mount.txt

Il file .txt si troverà nella directory corrente.

man mount > mount.txt && gedit mount.txt

aprirà il file in gedit.

    
risposta data boehj 20.04.2011 - 01:45
0

Puoi sfogliare le pagine man online link o installare dwww package e sfoglia tutta la documentazione off-line ( http://localhost/dwww ). Vedi la descrizione di pacchetto dwww e / o leggi man dwww dopo l'installazione.

Potresti essere interessato anche alla navigazione dei contenuti del pacchetto - installa pacchetto dpkg-www e fai lo stesso: vedi descrizione di pacchetto dpkg-www e / o leggi man dpkg-www dopo l'installazione. Avvia dpkg-www o sfoglia http://localhost/cgi-bin/dpkg .

    
risposta data Hans Ginzel 05.09.2013 - 11:15
-1

Questo creerà un file temporaneo con la pagina di manuale per bash nella tua home directory intitolata "man" e aprila con gedit. Non appena chiuderai gedit anche il file verrà cancellato. Sostituisci bash con qualsiasi pagina man che vuoi aprire.

man bash >> ~/man && gedit ~/man && rm ~/man

Spero che questo aiuti:)

    
risposta data scay 24.04.2011 - 14:21

Leggi altre domande sui tag