Home / ubuntu / Questions / 980868
In Process
AdLinux
Asked: 2017-11-28 13:25:33 +0800 CST

What is TeXdoctk? Is it safe to Remove? How do I remove it?

  • 772

As the title implies, whilst using Ubuntu 17.10 I have come across a program called TeXdoctk in the Gnome menu. I cannot work out what its purpose is and attempting to uninstall it via:

sudo apt purge texdoctk

Has had no effect...

So what exactly is it? Is it safe to remove? And if so, how?

gnome

2 Answers

  1. So what exactly is it?

    TeXdoctk is a TeX documentation browser

    TeX is a system for typesetting. For example it's used for some of the Debian manuals.

    enter image description here

    TeXdoctk is clearly old and klunky, but so far I haven't found anything better for TeX.

    This description below could I think be said more simply as "Use a menu to display TeX help".

    enter image description here

    Also, seems some of the stuff in them menu is not loaded, in other words the menu is created NOT from your system, but globally somewhere, and your system may, or may not, have that documentation loaded.

    • 1

  2. As mentioned in the other answer, it is a GUI that comes along with texlive, which is the package for using TeX. If you don't use TeX then you can type in the command below to uninstall it

    sudo apt remove texlive-base
    • 0