GNU/Linux repositories for TeXmacs

On certain Linux distributions, it is possible to add a TeXmacs repository to your package manager. This makes it possible to manage TeXmacs in the same way as any other packages on your system. In particular, you can automatically check for updates and install new versions as soon as they become available. We implemented TeXmacs repositories for the following distributions:

• Debian.

• Ubuntu.

Debian

Retrieve your distribution name (e.g. stretch) using

lsb_release -cs

Download the TeXmacs public key (into the auxiliary file apt-texmacs.asc):

curl --insecure https://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/apt-texmacs.asc --output apt-texmacs.asc

Obtain root privileges:

sudo bash

Import the key in the apt keyring using

apt-key add apt-texmacs.asc

Remove the temporary key file:

rm apt-texmacs.asc

Add the texmacs repository in

add-apt-repository "deb http://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/ stretch universe"

Update the package list:

apt-get update

Install TeXmacs:

apt-get install texmacs

Return to your regular account:

exit

Ubuntu

Retrieve your distribution name (e.g. yakkety) using

lsb_release -cs

Download the TeXmacs public key (into the auxiliary file apt-texmacs.asc):

curl --insecure https://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/apt-texmacs.asc --output apt-texmacs.asc

Obtain root privileges:

sudo bash

Import the key in the apt keyring using

apt-key add apt-texmacs.asc

Remove the temporary key file:

rm apt-texmacs.asc

Add the texmacs repository in

add-apt-repository "deb http://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/ yakkety universe"

Update the package list:

apt-get update

Install TeXmacs:

apt-get install texmacs

Return to your regular account:

exit