apr
3
2009

Da flv a mp3 conservando il nome

Mi sono trovato ad avere una serie di file .flv e a volerne estrarne l’audio per avere una raccolta di mp3. Mi interessava anche però conservare il nome del file originale e non volevo farlo a mano ad uno ad uno per ogni file. Bastano un paio di righe di script bash (usando ffmpeg) per ottenere il risultato voluto. Lo incollo qui che magari può essere d’aiuto a qualcuno: for i in *.flv; do ffmpeg [...]

dic
22
2008

Convertire file audio FLAC in MP3

Voglio giusto appuntarmi come convertire un file audio flac (loss less) in un file audio mp3. Bisogna avere installati i seguenti pacchetti: media-sound/lame media-libs/flac Il comando da lanciare per convertire il singolo file è il seguente:

set
18
2008

Convertire file audio AMR in MP3

Per chi possiede un nokia e ha passato, almeno una volta, sul proprio computer qualche registrazione fatta con il cellulare, avrà notato che i file che registra il nokia hanno l’estensione .AMR . Cercando su internet ho trovato diversi script, anche molto complessi, che convertivano questo tipo di file audio in .MP3. Ad esempio questi due: amrconverter e TIP Converting AMR to WAV and vice versa. Siccome volevano che installassi diversi tools per poterli eseguire [...]

giu
4
2008

La storia del web in una serie di documentari

Sono venuto a conoscenza in questi giorni di una serie di documentari andati in onda su discovery channel riguardanti il web e la sua storia. Questi documentari sono presenti su youtube in versione integrale e voglio riproporvi qui i link per poterli vedere. Io ne ho trovati 4 della durata di 45 min. circa ognuno. I documentari li ritengo ben fatti, molto leggeri da seguire e ogni tanto viene anche approfontita qualche tematica più tecnica [...]