The Coq mailing list

[Dominique Unruh <unruh AT ut.ee>]

The approach you describe should also be possible with Emacs' windowed mode.

Requirement: All users log in from a system running X-windows. (I.e., typically linux)

Procedure (not tested in this situation but I did something similar years back):

• Everyone SSHs into the same account on the same host with X-forwarding enabled. (To test, just run some X-software and see if that works.)
• Everyone checks what their $DISPLAY environment variable is (echo $DISPLAY in the shell)
• One person runs Emacs, and for each other user, they run in Emacs "M-x make-frame-on-display <RET> display <RET>" where display is what was in the corresponding users $DISPLAY variable. (See: https://www.gnu.org/software/emacs/manual/html_node/emacs/Multiple-Displays.html)
• Now each has a different window of the same emacs.

Pro:

• Emacs GUI mode may be nicer
  
• Every user can have different window sizes, even look at/edit different files (but there will be only one running coq, I would guess)
• Each user has their own cursor

Cons:

• There may be a strong lag (I only tried this once in a local network, which was fine)
  
• Security: you need to trust the users, or use a safe account (because you won't see what commands other users execute)
• I don't know what happens when one of the connections breaks down
• At least 20 years ago when I last used this, the undo-function and the clipboard were joined between everyone - confusing
• Everyone needs Linux (actually, maybe not, but I don't know how this would work with Windows)
  

Best wishes,
Dominique.

On 6/13/20 10:51 PM, Abhishek Anand wrote:

At our company, people in different cities/countries often need to collaboratively edit Coq files.

We have been using tmux+ssh+emacs-console-mode+PG+company-coq solution for a few years and it works ok.

I have described our setup in the following wiki page:

https://github.com/coq/coq/wiki/Remote-Collaborative-Editing-of-Coq-Files

Are there other ways people remotely collaboratively edit Coq files? 

It would be great to add to that page and/or describe/discuss the setup in this email thread.

Thanks,

-- Abhishek

http://www.cs.cornell.edu/~aa755/