Você pode usar o 7-Zip para abrir arquivos .camrec, é possível que seja apenas uma extensão renomeada. O vídeo é .AVI dentro, no entanto, se você gravou o áudio do sistema, ele o armazena como um arquivo WAV separado, e o microfone ou outra fonte de áudio selecionada é codificada no AVI. Eu tive um ótimo processo em lote para descompactar, remodificar (para substituir o microfone com áudio do sistema) e codificar camrecs para AVI com 7-Zip e virtualdub, mas infelizmente o perdi em um disco rígido há alguns meses. Tem que trabalhar nisso de novo ... em qualquer caso, apenas saber que o 7-Zip pode lidar com camrecs sem ter que abrir o Camtasia Studio é valioso o suficiente. Eu sei que há uma porta linux 7-Zip; none para o virtualdub, mas não deve ser muito difícil encontrar uma alternativa.