Reducir el tamaño de un PDF en OS X con la utilidad Colorsync

He encontrado el proceso detallado de cómo crear el filtro necesario y cómo aplicarlo en la siguiente web:

http://www.arqtistic.com/blog/entry/?n=18

Muy recomendable.

Reiniciar el Dock si deja de funcionar adecuadamente (OS X)

Hay ocasiones (pocas afortunadamente) en que el dock del OS X deja de responder adecuadamente. Para resetearlo y que vuelva a funcionar, podemos usar el siguiente comando en el terminal:

killall Dock

La otra alternativa suele ser cerrar la sesión e incluso reiniciar...

Configurar la conexión 3G de simyo en Android

Debemos ir a los Ajustes, a las conexiones, y allí poner la configuración que vemos a continuación:

Concatenar vídeos AVI (línea de comandos)

Podemos usar las herramientas mencoder o ffmpeg, ambas desde la línea de comandos.

La primera, mediante la orden:
 mencoder -oac copy -ovc copy -o output.avi input1.avi input2.avi

Para usar la segunda, creamos un archivo "ficheros.txt" con los nombres de los ficheros de vídeo a concatenar (podemos indicar caminos absolutos o relativos, y poner comentarios):

# un comentario
file '/path/f1.avi'
file '/path/f2.avi'
file './f3.avi'

Y ahora llamamos a ffmpeg de la siguiente forma:
 ffmpeg -f concat -i ficheros.txt -c copy output.avi

Cortar y extraer un trocito de MP3 (línea de comandos)

Podemos usar el ffmpeg. Veamos dos ejemplos:

(1) Extraer una porción de 3 segundos a partir del segundo 1 manteniendo el formato:
 ffmpeg -i input.mp3 -acodec copy -t 00:00:03.00 -ss 00:00:01 output.mp3

(2) Extraer una porción de 30 segundos a partir del minuto 2:20 (del 2:20 al 2:50) manteniendo el formato:
 ffmpeg -i input.mp3 -acodec copy -t 00:00:30.00 -ss 00:02:20 output.mp3


Si queremos usar una aplicación basada en ventanas, podemos usar mp3splt
http://mp3splt.sourceforge.net/mp3splt_page/home.php