[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Question collaborative editing.
From: |
Eli Zaretskii |
Subject: |
Re: Question collaborative editing. |
Date: |
Fri, 02 Oct 2020 10:35:42 +0300 |
> From: Michael Albinus <michael.albinus@gmx.de>
> Cc: Jean Louis <bugs@gnu.support>, Eli Zaretskii <eliz@gnu.org>, Qiantan
> Hong <qhong@mit.edu>, fmfs@posteo.net, npostavs@gmail.com,
> emacs-devel@gnu.org, kfogel@red-bean.com, monnier@iro.umontreal.ca
> Date: Fri, 02 Oct 2020 09:30:53 +0200
>
> I don't want to be the grinch, but pls remember what Tramp is: a library
> for alternative implementations of file operations. I don't see yet how
> /collab:session-key@ip-address:filename fits into the game, but maybe it
> needs more details to understand. For example, which file operations
> shall be treated.
>
> Furthermore, I also don't understand what needs to be done on the remote
> side wrt collaboration. A remote file in Emacs is still a file,
> connected to a buffer. All primitive file operations can be applied on
> this.
I think Michael is right: Tramp and collaborative editing are
orthogonal features. Collaborative editing is about special handling
of changes to buffer text, and Tramp has nothing to say about that,
AFAIK.
- Re: Question collaborative editing., (continued)
- Re: Question collaborative editing., Qiantan Hong, 2020/10/01
- Re: Question collaborative editing., Ergus, 2020/10/01
- Re: Question collaborative editing., Jean Louis, 2020/10/01
- Re: Question collaborative editing., Ergus, 2020/10/01
- Re: Question collaborative editing., Michael Albinus, 2020/10/02
- Re: Question collaborative editing.,
Eli Zaretskii <=
- Re: Question collaborative editing., Pankaj Jangid, 2020/10/02
- Re: Question collaborative editing., Ergus, 2020/10/02
- Re: Question collaborative editing., Michael Albinus, 2020/10/02
- Re: Question collaborative editing - Wikipedia reference, Jean Louis, 2020/10/04
- Re: Question collaborative editing - Wikipedia reference, Caio Henrique, 2020/10/04
- Re: Question collaborative editing - Wikipedia reference, Jean Louis, 2020/10/04
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/04
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/04
- Re: Question collaborative editing - Wikipedia reference, Karl Fogel, 2020/10/04
- Re: Question collaborative editing - Wikipedia reference, Karl Fogel, 2020/10/05