Se você tem um acervo de gravações e quer poder transformar vídeo em GIF, conheça, veja como instalar e usar o Gifcurry no Linux.
O que está sendo falado no blog
Como instalar a IDE Light Table no Linux manualmente
Se você quiser experimentar uma incrível ferramenta de programação, veja aqui como instalar a IDE Light Table no Linux manualmente.