Problema: lighttpd cachea ficheros en VirtualBox cuando no debería

He estado un buen rato fruteado con esto, y por suerte he encontrado la solución en ServerFault, la copio aquí por si me vuelve a pasar en el futuro.

Tengo una máquina virtual con VirtualBox que tiene Ubuntu Server 12.04, para simular el entorno donde se instalará una web que estoy haciendo. El servidor web es lighttpd, y me estaba haciendo unas cosas rarísimas: yo modificaba un fichero JS y al lighttpd no le daba la gana de actualizarlo, seguía sirviendo la versión antigua pero no solo eso, además solamente enviaba tantos bytes de la versión antigua como bytes tuviera la nueva versión del fichero. Vamos, un WTF en toda regla.

Al parecer esto se debe al VirtualBox, y la forma de solucionarlo es añadiendo esta línea al fichero lighttpd.conf

server.network-backend = "writev"

Y con esto el problema está solucionado. La verdad es que no sé por qué así funciona, pero después del mal rato que me ha hecho pasar ya no me quedan muchas ganas de investigarlo.

Aprovecho para copiar aquí también las reglas de redirección que he utlizado para que cualquier URL que no lleve a un fichero existente se envíe al fichero index.php:

url.rewrite-final = (
"^/([^.?]*)\?(.*)$" => "/index.php?__q__=$1&$2",
"^/([^.?]*)$" => "/index.php?__q__=$1"
)

Vídeos en páginas web

Ahora que prácticamente todos los navegadores soportan las etiquetas audio y video de HTML5 meter vídeos en las páginas es muy sencillo. Yo utilizo VideoJS, que funciona estupendamente.

Para convertir los vídeos a los formatos mp4 y webm estos son los programas que uso:

WinFF: este tiene versión para Windows y Linux. Seleccionas el vídeo a convertir  y le pones como salida MPEG-4 y como Preset FullScreen o WideScreen según el aspect ratio sea cuadradote o panorámico. Convierte el fichero a .mp4 y además aprovecha todos tus procesadores, así que va como un tiro.

Transmageddon: este es sólo para Linux. Le enchufas el video y seleccionas de Preset “HTML5 WebM” y te genera el .webm, aunque es bastante más lento que el otro.

Si se quiere hacer por línea de comandos hay que utilizar ffmpeg:

ffmpeg -i filename.flv -vcodec libvpx -acodec libvorbis filename.webm

ffmpeg -i filename.flv -qscale 0 -ar 22050 -vcodec libx264 filename.mp4

– Actualizado 19/03/14: según el comentario de Manu he actualizado la línea de comandos para convertir a mp4, ¡gracias bro!

– Actualizado 25/09/14: he encontrado otro programa (solamente para Linux) que permite convertir a los dos formatos. Se llama Arista Transcoder y trae un montón de configuraciones predefinidas para convertir vídeos para distintos dispositivos.

Arrancar una máquina virtual desde consola

El VirtualBox es uno de los mejores programas del mundo, que permite tener una máquina virtual con cualquier sistema operativo funcionando en nuestro ordenador. Para mí que uso Ubuntu es imprescindible para poder probar cosas en Windows.

El proceso normal es este: abrir el VirtualBox y arrancar alguna de las máquinas virtuales que tengamos creadas. Pero hay una forma de saltarnos el paso de abrir el VirtualBox, podemos arrancar directamente la máquina virtual (desde consola o desde un acceso directo en un panel) mediante este comando:

VBoxManage startvm "Nombre de la máquina virtual"