mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] TeXmacs in Linux Mint 19


Chronological Thread 
  • From: Frank <address@hidden>
  • To: address@hidden
  • Cc: address@hidden
  • Subject: Re: [TeXmacs] TeXmacs in Linux Mint 19
  • Date: Wed, 24 Apr 2019 14:27:53 +0200

In the webpage http://www.texmacs.org/tmweb/download/linux-packages.en.html, there is a line:

> Important: In some cases you should have to install the guile additional package manually. You can dowmload it here.

Click it (there) and find guile-1.8 (and the package "last" if necessary), then download and install by dpkg. I recall that I resolved this on my Debian Stretch.

Best wishes,

Le 23/04/2019 à 22:19, address@hidden a écrit :
I downloaded TeXmacs for Ubuntu 18.04 from
 http://www.texmacs.org/tmweb/download/linux-packages.en.html#ubuntu
but installation don't works.
Here's what I get in console:

$ sudo dpkg -i ./TeXmacs-1.99.9.amd64.deb
Selezionato il pacchetto texmacs non precedentemente selezionato.
(Lettura del database... 478882 file e directory attualmente installati.)
Preparativi per estrarre ./TeXmacs-1.99.9.amd64.deb...
Estrazione di texmacs (1.99.9)...
dpkg: problemi con le dipendenze impediscono la configurazione di texmacs:
 texmacs dipende da guile-1.8-dev; tuttavia:
  Il pacchetto guile-1.8-dev non è installato (not installed).
 texmacs dipende da fonts-stix; tuttavia:
  Il pacchetto fonts-stix non è installato (not installed).
 texmacs dipende da fonts-texgyre; tuttavia:
  Il pacchetto fonts-texgyre non è installato (not installed).

dpkg: errore nell'elaborare il pacchetto texmacs (--install):
 problemi con le dipendenze - lasciato non configurato
Elaborazione dei trigger per man-db (2.8.3-2ubuntu0.1)...
Si sono verificati degli errori nell'elaborazione:
 texmacs



Dependencies requested are: font-stix, font-texgyre and guile-1.8. But I
see guile 2.0 installed, and font-stix, font-texgyre are available but
impossible to install.




-- 
Best wishes!
Yours,



Archive powered by MHonArc 2.6.19.

Top of page