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

gnome package-management uninstall 17.10 installed-programs

9,420

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.

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".

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.

9,420

AdLinux

Musician, Video Creator and General Linux User. Btw I use Ubuntu Studio

Updated on September 18, 2022

Comments

AdLinux over 1 year
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?
- user535733 over 6 years
  
  It is provided by the texlive-base package. See also bugs.debian.org/836441 for background and the process to remove texdoctk from texlive-base.
- Tooniis almost 6 years
  
  Do you have GNOME Builder installed?
- AdLinux almost 6 years
  
  @Tooniis no I do not have GNOME Builder installed
- Tooniis almost 6 years
  
  For me it appeared after I installed Builder, so I thought it was a dependency.
George Udosen over 6 years

Your answer is half-baked, tell OP if the app is safe to remove in addition to your answer and your good to go!
AdLinux over 6 years

Yes please, I would like to know if its safe to remove, like would it have any negative impact on my system if I removed it?
dsSTORM about 5 years

@AdLinux if you need to use latex then removing texlive-base will leave you unable to do so