Uhhn, legal. Agora Tenho mais opções... Vou seguir o conselho de vocês. Obrigado pela dica.
Mais uma coisa, quando vou instalar o Kile pelo terminal, ele me diz que será necessário fazer um download de 200 e poucos MB, mas se tento baixar o Kile por certos sites... O download é de poucos MB, menos de 10MB. Conclusão, baixando o arquivo da internet só vai me fazer dar o primeiro passo para a instalação, vou ter de esperar da mesma forma o download 200MB de algumas horas. É isso mesmo?
(Obs.: andei lendo sobre o Linux Mint e vi que ele já vem com vários pacotes instalados. A instalação completa do Kile no Mint seria mais rápida? Digo, no sentido de ter menos o que baixar. O Mint tem versão em português?)
Obrigado por tudo. Até mais.