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 Debian, Raspbian, and Ubuntu.

Instructions for Debian, Raspbian and Ubuntu

Download and import the TeXmacs public key :

wget -qO- --no-check-certificate https://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/apt-texmacs.asc | gpg --dearmor | sudo tee /usr/share/keyrings/texmacs-keyring.gpg > /dev/null

Add the TeXmacs repository:

echo "deb [signed-by=/usr/share/keyrings/texmacs-keyring.gpg] http://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/ $(lsb_release -cs) main" | sudo tee /etc/apt/sources.list.d/texmacs.list > /dev/null

Update the package list:

apt-get update

Install TeXmacs:

apt-get install texmacs

Instructions for Ubuntu-based distributions

Distributions that are Ubuntu-based (like Linux Mint) are compatible with the TeXmacs apt repository.

Download and import the TeXmacs public key :

wget -qO- --no-check-certificate https://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/apt-texmacs.asc | gpg --dearmor | sudo tee /usr/share/keyrings/texmacs-keyring.gpg > /dev/null

Add the TeXmacs repository :

echo "deb [signed-by=/usr/share/keyrings/texmacs-keyring.gpg] http://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/ $(cat /etc/os-release | grep UBUNTU_CODENAME | cut -d"=" -f2) main" | sudo tee /etc/apt/sources.list.d/texmacs.list > /dev/null

Update the package list:

apt-get update

Install TeXmacs:

apt-get install texmacs

Troubleshooting

How to force Ubuntu to prioritize the official TeXmacs repository

Run this if Ubuntu keeps trying to install an older version from its own repositories:

echo -e "Package: texmacs\nPin: origin ftp.texmacs.org\nPin-Priority: 1001" | sudo tee /etc/apt/preferences.d/texmacs > /dev/null