Alla fine non ho resistito e l'ho installato. Mi sono dovuto portare dietro un bel po' di dipendenze come libcucul-dev, libcaca-dev, libk<qualcosa> ma pazienza.. Kdenlive 0.7 è ancora il miglior Video Editor per Linux Sì ho scritto "il migliore"