Skip to Content.
Sympa Menu

texmacs-users - Re: [TeXmacs] Install linux version under windows linux bash

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] Install linux version under windows linux bash


Chronological Thread 
  • From: Ingolf Schäfer <address@hidden>
  • To: address@hidden
  • Subject: Re: [TeXmacs] Install linux version under windows linux bash
  • Date: Tue, 15 Nov 2016 18:36:17 +0100

Hi,


I found that compiling youself is the only feasible way at least on LinuxMint 18. The static version tended to crash and the alien imported rpm version had some encoding issues with German Umlauts.

I have tried to make an AppImage for TeXmacs that would be universal to all Linux distros but failed so far. I will try again when I find the time.


Yours,


Ingolf


Am 15.11.2016 um 17:56 schrieb Raymond Rogers:
Hi, I got a good installation with

Release 16.04.1 LTS (Xenial Xerus) 64-bit --Mint

by downloading

TeXmacs-1.99.5-x11-i386-pc-linux-gnu.tar.gz

This is a compiled,probably static, package so I just followed the INSTALL instructions. I presume that sometime in the past I downloaded multiarch and such. I probably ran it from the command line:

texmacs

a few times just to see how much griping it did abouts fonts and such. Sorry I don't remember exactly.

Other, un compiled, versions didn't compile because of packages being obsoleted in Ubuntu 16.04 and I couldn't get things straight.

We really need AI and formal methods to drain the software swamp we have walked into. A person can only manipulate about 5 "chunks" simultaneously; so I have found that people _always_ try for more, and if it works one time it has to work forever (?).

Ray




On 11/15/2016 04:57 AM, Javier Arántegui wrote:
Hello,

El 16 oct 2016, a las 22:46, PDS <address@hidden> escribió:
a) on how to install last version 1.99.5 on ubuntu
This is what I would do, I haven’t tried it but it should work (I think):

1. Download the generic rpm package: http://www.texmacs.org/tmweb/download/rpm.en.html

2. Using ‘alien’ convert the rpm package in a deb package that Ubuntu understands. Here is how: https://wiki.debian.org/Alien

3. Install the deb package: http://unix.stackexchange.com/questions/159094/how-to-install-a-deb-file-by-dpkg-i-or-by-apt

Maybe there is a better / faster / easier way, but…

Javier


--
Javier Arántegui
Dept. Tecnologia de Alimentos / Dept. of Food Technology
Universitat de Lleida / University of Lleida (Spain)

Tel. +34 973702595
http://www.tecal.udl.es

Avís legal / Aviso legal / Avertiment legal / Legal notice:
http://www.imatge.udl.cat/avis_legal_lopd.html






Archive powered by MHonArc 2.6.19.

Top of Page