TEX on Linux

This is not really a Web Dev tip, but I thought it worth quickly noting for those who have a need to produce properly formatted mathematical (and other) high quality textual output on Linux.

TEX is a typesetting system - it lets you format text at the quality of a formal publication like a book, magazine or journal, including complex text formats like equations.  It includes a (Turing-complete) language making it extremely powerful.

Installing it to use on Linux, is not difficult, however installing MiKTeX with TexWorks on Ubuntu/Pop!_OS 19.10 as I have requires some additional steps.

MiKTeX

MiKTeX is a system that brings together a large set of TEX related programs.  One system that comes bundled with it is TexWorks.  Using these two works well for normal mathematical formulae that I've tested.

TexWorks

TexWorks is a convenient TEX editor.  You can write your TEX and immediately create PDF output so that you can see your work.

 


Installation

MiKTeX has a package so that installing it is basically following its instructions:

Register GPG key

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys D6BC243565B2087BC3F897C9277A7293F59E4889

Register Installation Source

The package is for Ubuntu 18.04 LTS however this is not a problem at this stage:
echo "deb http://miktex.org/download/ubuntu bionic universe" | sudo tee /etc/apt/sources.list.d/miktex.list

Install MiKTeX

sudo apt update
sudo apt install miktex

Additional Packages

MiKTeX comes along with many packages, including TexWorks - however it won't function as is.  This is likely due to MiKTeX being a 18.04 package and therefore not including up-to-date
dependencies.
To overcome this, you need two more packages not currently available in 19.10 or 20.04 Ubuntus:

libhunspell

wget http://archive.ubuntu.com/ubuntu/pool/main/h/hunspell/libhunspell-1.6-0_1.6.2-1_amd64.deb
sudo apt install ./libhunspell-1.6-0_1.6.2-1_amd64.deb

libicu60

wget http://archive.ubuntu.com/ubuntu/pool/main/i/icu/libicu60_60.2-3ubuntu3_amd64.deb
sudo apt install ./libicu60_60.2-3ubuntu3_amd64.deb

Running TexWorks

TexWorks can be run at this point simply with

miktex-texworks
in the shell, but integrating with the GUI can be completed by creating MiKTeX-TexWorks.desktop in ~/.local/share/applications:

[Desktop Entry]
Name=TexWorks (MiKTeX)
Comment=Create TEX!
Exec=/usr/bin/miktex-texworks
Icon=TeXworks
Type=Application

This can be run from your normal applications menu.

Comments

Post a Comment

Popular posts from this blog

Freeze Changing HTML Element in Chrome Developer Tools

Some websites have elements attached to code that changes them dynamically, so that it is not effectively possible to view its source - e.g. notion.so . To freeze the elements in the Developer Tools windows: Open the Developer Tools windows from the top-right “3 vertical dot” menu → More tools → Developer tools, or Ctrl+Shift+i (Window/Linux) or Option+⌘+J (Mac) Select the Sources tab in Developer Tools In the browser, hover over the element concerned (don’t click) Press F8 (Windows/Linux) or FN+F8 (Mac) Go to the Elements tab in Developer Tools The elements will be paused. It will be possible to expand the elements and see the frozen source. (From stackoverflow )
Read more

Visually Distinguish Remote ssh Sessions

Image
When administering resources it's often convenient to use the command-line.  For security it's necessary to use an encrypted mechanism - almost always ssh .  However, since once connected, one terminal window looks much like another, there's a significant risk that a command intended to be run on one server gets run on the wrong one!  How can you protect against this and still work efficiently? One way is to have each ssh session clearly, probably visually  different from each other.  This can be automated in Unix based systems. Use xtermcontrol There are various ways to control aspects of your terminal session.  Simply printing to the terminal various escape codes can change many aspects of the terminal - including color, but also title and so on.  However, to conveniently and specifically make fine-grained changes, xtermcontrol is very effective and available across many platforms.  It is preferable to setterm  because it gives m...
Read more

Creating GIFs From Videos

While it is easy to embed videos in web-sites, sometimes you want the immediacy that you get an image. GIFs are the obvious answer to this "a video in an image file".  Creating them is not always obvious though. There are many pieces of software that can be used.  On Linux, one is gifcurry  which is not bad and interestingly is written in Haskell , a sophisticated type-safe functional language.  Gifcurry does suffer from a few limitations such as for long videos however. ffmpeg After some experimentation, the most reliable mechanism I've found is old faithful command-line utility ffmpeg .  Once you know the correct arguments to pass, it is reliable and fast. You do it in two steps.  First you extract a colour palette from the video, then you create the GIF using that palette: ffmpeg -i <Video File> . <extension>   -filter_complex "[0:v] palettegen" <palette file> .png ffmpeg -i <Video File> . <extension> ...
Read more