Girar vídeos

A veces (ahora no lo suelo hacer), grababa vídeos con mi teléfono n95 en vertical; el problema llegaba al pasarlos al ordenador, ya que se veían en horizontal. Para verlos correctamente había 2 soluciones: girar la pantalla del ordenador o girar los vídeos; me decanté por la segunda opción.
Lo intenté con mencoder, pero -seguramente por no saber aplicar los parámetros correctos- no logré los resultados que yo deseaba; seguí buscando y encontré una forma sencilla de hacerlo con avidemux. Con esta aplicación podemos aplicar filtros (debemos instalar los plugins con avidemux-plugins), en mi caso un filtro para girar el vídeo:
Abrimos el fichero que deseamos girar, en vídeo selecionamos MPEG-4 ASP (lavc), en filtros buscamos el Rotate, lo añadimos con 90 grados de giro. En Audio dejamos copiar, y en Formato, buscamos MP4. Ahora guardamos, con el nombre que le indiquemos, y el resultado estará girado 90 grados.