Software de gravação de tela sem perdas

Para um pequeno projeto meu, quero gravar pequenas transmissões de tela que mostrem os recursos do meu programa. Atualmente, estou usando um aplicativo pequeno na minha caixa do Ubuntu, que cria saída gif diretamente animada. A desvantagem é que esse gif tem algumas limitações no número de cores....