How to set up a TeXmacs server

#1

Hi all,
I’m trying to play with TeXmacs’ collaborative editing functionality. (setting up a server and then remotely connect to it) But I cannot find any document about it, can you please give me some guide?

Thanks!

#2

You can run a server with the command

TEXMACS_HOME_PATH=~/.TeXmacs.server texmacs --headless --server --debug-remote --debug-io

Setting the TEXMACS_HOME_PATH variable ensures data are stored in a folder separate from your personal user data.

The --headless option is only present in development version, you can also try -q -platform offscreen.

2 Likes
#3

Great thanks! It seems that using Mogan as a server has some issue, TeXmacs works fine.