Bash

Convertire video OGV in AVI da riga di comando

Spesso mi capita di dover registrare brevi filmati del desktop. Per farlo utilizzo il software recordMyDesktop, un programma semplice da usare che registra quanto accade in un'area dello schermo (da Linux).

Questo programma salva i file video in formato OGV ma non tutti hanno a disposizione i codec e così preferisco sempre convertire il file in AVI utilizzando Mencoder.

Convertire video OGV in AVI da riga di comando

Ridimensionare e ritagliare immagini velocemente

ImageMagick è un software che uso molto spesso per manipolare le immagini da riga di comando in ambiente GNU/Linux. Le possibilità offerte da questo pacchetto sono proprio tante e mogrify è il tool che preferisco perché permette di elaborare grandi quantità di immagini in maniera proprio semplice.

Ridimensionare e ritagliare immagini velocemente

Mantenere attive le connessioni SSH dal terminale

Vi è mai capitato di dover lasciare in background un terminale (es. bash) con un processo ssh attivo e dopo qualche minuto trovare la connessione remota terminata?

Solitamente la causa è dovuta alla configurazione standard dei server SSH che dopo un certo periodo di attività interrompono la connessione, compresa la sessione remota da un client SSH.

In alcuni casi questa impostazione può risultare scomoda, quindi si può risolvere in due modi:

Mantenere attive le connessioni SSH dal terminale

Appunti bash: estrarre indirizzi email da un file

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

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

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.