você pode digitar o comando abaixo para desinstalá-lo
sudo apt remove texlive-base
Como o título sugere, enquanto usava o Ubuntu 17.10 eu encontrei um programa chamado TeXdoctk no menu Gnome. Eu não posso descobrir qual é o seu propósito e tentar desinstalá-lo via:
sudo apt purge texdoctk
Não teve efeito ...
Então, o que exatamente é isso? É seguro remover? E se sim, como?
você pode digitar o comando abaixo para desinstalá-lo
sudo apt remove texlive-base