Come creare la tua libreria di comandi

Non c'è dubbio che il file terminale de Linux (noto anche come Bash) è uno strumento potente in ogni distribuzione. Ma per il nuovo avviato su uso potrebbe rivelarsi qualcosa scomodo, cercando di evitarlo a tutti i costi. È noto che con il comando -Aiuto otteniamo un aiuto referenziale dal terminale. Nonostante sia una grande risorsa, oggi ve ne presentiamo una che può essere molto più utile e che ci permetterà di avere a portata di mano la nostra "libreria" di comandi en Formato pdf.

Il comando man ci fornisce un manuale del terminale del comando desiderato; per esempio: man chmod ci mostrerà con un leggero editor di testo la funzione e la sintassi del comando chmod. Ora, la seguente variante dello stesso comando è quella che ci dà il maggior vantaggio. Apriamo il terminale e digitiamo:

comando man -t | ps2pdf -> nome.pdf

Sostituiamo la riga di comando con il comando da cui vogliamo ottenere il manuale e name.pdf con il nome del pdf che vogliamo creare e dove lo creeremo; Per impostazione predefinita, se non assegniamo un percorso diverso, il file verrà creato nella cartella personale. Tornando all'esempio precedente relativo al comando chmod, possiamo scrivere:

man -t chmod | ps2pdf -> /home/usuario/Documentos/ManualChmod.pdf

Prendendo il manuale dal comando chmod si crea un pdf chiamato ManualChmod nella sottodirectory Documents della cartella personale. Il pdf creato include la funzione del comando e tutte le possibili combinazioni della sua sintassi, aiutandoci a sfruttare appieno l'utilizzo del terminale.

Un grande vantaggio di questo metodo è che se abbiamo il pacchetto in lingua spagnola ben configurato nella nostra distribuzione, il pdf verrà esportato nella nostra lingua madre, aiutando anche a capire più velocemente del manuale, che per impostazione predefinita mostra il manuale in Inglese. Si spera che aiuti sia i principianti che i cavalieri esperti!