Bash

Appunti bash: estrarre indirizzi email da un file

26 Maggio 2011

Vi è mai capitato di dover analizzare dei file di testo ed estrapolarne tutti gli indirizzi email? Beh, questo breve articolo è un promemoria che illustra un comando da una riga che sfrutta Grep, tool storico degli ambienti Unix/Linux, per compiere operazioni di questo tipo.

Appunti bash: estrarre indirizzi email da un file

Unire PDF velocemente da GNU/Linux

10 Mar 2010

PDFToolkit è un programma utile per manipolare PDF tramite una comoda interfaccia a riga di comando. Tra le numerose funzionalità, questo software permette anche l'unione di più PDF in un unico file.

Unire PDF velocemente da GNU/Linux

Convertire file audio APE in MP3 da Linux

22 Set 2008

Può capitare di dover convertire file audio dal formato APE (Monkey's Audio Files) in MP3. Solitamente un file APE si trova assieme ad un file con estensione .cue, questo perché il file con estensione .ape contiene più brani musicali mentre il file CUE serve ai software di masterizzazione per suddividere le varie traccie.

Convertire AMR in MP3 usando Bash

18 Set 2008

Ispirato da questo post ho pensato di modificare gli script creati in precedenza per convertire OGG e WMA in MP3, in modo da convertire anche i file AMR in MP3.

In questo caso si può utilizzare FFmpeg per convertire direttamente in MP3 i file AMR, senza dover prima convertire il file in WAV e poi codificarlo in MP3.

Ecco qui il codice dello script:

Sostituire una stringa su molti file usando Sed

18 Set 2008

Qualche minuto fa ho dovuto modificare 55 file HTML. Lo scopo era sostituire una parola con un'altra (ripetuta più volte nel testo). Impensabile aprire e modificare un file alla volta. La soluzione più semplice, rapida, immediata ed efficace è stata quella di usare il buon vecchio Sed da riga di comando.

sed -i "s/Vecchia stringa/Nuova stringa/g" *.html

In pochi istanti tutti i file sono stati modificati correttamente senza nemmeno sfiorare il mouse.

Convertire WMA in MP3 usando Bash

18 Set 2008

Nel precedente articolo ho illustrato un semplice script per convertire uno o più file in formato OGG in MP3. Ora invece mostrerò come convertire file WMA in MP3. Anche in questo caso è necessario trasformare i file di origine in file WAV temporanei. Per effettuare questa operazione useremo MPlayer.

Il codice dello script è molto simile a quello per convertire i file OGG in MP3: