Hola
...mi servirebbe un programmino gtk-like per editare video. O meglio, dovrei realizzare un video (mpeg, avi) a partire da una serie di fotogrammi .gif generati da gnuplot. Ho trovato Kino, ma nn mi sembra in grado di realizzare un filmato a partire dai singoli fotogrammi.
Accetto consigli thx, plz