mailing-list for TeXmacs Users

[marc lalaude-labayle <address@hidden>]

Hi,

perhaps a solution : in the "edition" menu, choose "preferences". In this, you can choose for "aspect de l'interface" : gnome.

Let us know if this works.

Marc

2017-08-23 15:37 GMT+02:00 address@hidden <address@hidden>:

Hello,

  thank you for your kind answer.

  the installation works well. But I have the same encoding  problem as with the static binaries.

best regards

Alexandre Abbes

---

De: "Philippe Joyez" <address@concealed>
À: "al abbes mailinglist" <address@concealed>, address@hidden
Envoyé: Mercredi 23 Août 2017 15:13:36
Objet: Re: [TeXmacs] texmacs on debian 9.1

Bonjour,

If you are running a 64-bit debian 9, you can try to install the from deb
packages you'll find there:

https://software.opensuse.org/download.html?project=home:slowphil:guile-1.8&package=guile-1.8

https://software.opensuse.org/download.html?project=home:slowphil:texmacs-devel&package=texmacs

You need to install guile-1.8 first because it's a dependency that debian no
longer provides in the repositories.

Best regards,
Philippe