Tengo cuatro videos que me gustaría incluir en mosaico en una forma 2x2 para hacer un nuevo video. ¿Hay alguna manera de hacerlo fácilmente, preferiblemente gratis y bajo Linux? Estoy dispuesto a programar una cantidad moderada, tal vez para interactuar con alguna biblioteca, pero no estoy dispuesto a escribir un programa completo de procesamiento de video yo mismo. Puede suponer que los videos de entrada y salida están en el formato más común que sea más conveniente.

Un análogo de la montaje de gml comando @ (para imágenes) sería fantástico.