Thursday, October 25, 2018

bugs on ubuntu 18.04

Dropbox icon not showing, resolved thusly:

killall indicator-application-service

sudo apt remove indicator-application

Wednesday, October 24, 2018

Installing tex on ubuntu 18.04 over the internet

Removing texlive:

sudo apt-get purge texlive-*
sudo apt-get autoremove
sudo apt-get autoclean
 
According to tug (https://www.tug.org/texlive/quickinstall.html):

First, just to be sure, 
rm -rf /usr/local/texlive/2018
rm -rf ~/.texlive2018
 
Then, download the installer (a Perl script) from here:
 
https://www.tug.org/texlive/acquire-netinstall.html
 
Then extract, move to the extracted directory, and run the installer. 
 
 
 
 
 
 



Tuesday, October 23, 2018

glossary

To use the glossaries package.

\makeglossaries in preamble, which requires xindy.

\printglossaries where the glossary needs to be printed.

run in terminal:

makeindex -s myDoc.ist -o myDoc.gls myDoc.glo (M-x shell to run in emacs)