$ ping server.texmacs.org
PING server.texmacs.org (131.220.222.6) 56(84) bytes of data.
>From 131.220.222.6 icmp_seq=1 Destination Host Unreachable
>From 131.220.222.6 icmp_seq=2 Destination Host Unreachable
>From 131.220.222.6 icmp_seq=3 Destination Host Unreachable
>From 131.220.222.6 icmp_seq=4 Destination Host Unreachable
>From 131.220.222.6 icmp_seq=5 Destination Host Unreachable
>From 131.220.222.6 icmp_seq=6 Destination Host Unreachable
>From 131.220.222.6 icmp_seq=7 Destination Host Unreachable
>From 131.220.222.6 icmp_seq=8 Destination Host Unreachable
I wonder if the physical machine is in a internet for education only.
Failed to ping the machine both locally and remotely(vps out of China).
---- On Fri, 2020-12-11 18:44:14 Massimiliano Gubinelli <m.gubine...@gmail.com>
wrote ----
Dear Marc, dear Darcy,
you have to follow Joris instructions:
"""
For this, you have to enable the 'Remote tools' in 'Tools' and
create an account on 'http://server.texmacs.org'. After the that,
the interface should be self-explanatory (hopefully),
but don't hesitate to post on this list.
"""
the server is not supposed to be accessed via http.
Max
On 11. Dec 2020, at 11:38, marc lalaude-labayle <mailto:marc.lala...@gmail.com>
wrote:
Hi.
Clicking on the link doesn't work for me neither : get an error message.
Marc
Le ven. 11 déc. 2020 à 11:32, TeXmacs <mailto:texm...@lix.polytechnique.fr> a
écrit :
Hi Darcy,
For me, the service still works. Massimiliano set up a physical server at
Bonn.
Sorin Mitran kindly proposed another another machine at his university,
which we should be able to install sometime soon. My short term intention is
to use one server for testing and one for developing a tentative Wiki.
My longer term intention is to pair both servers and ensure close to 100%
uptime.
Please discuss with Massimiliano if there are any firewalls or other issues
that
might cause problems. Once again, for us everything seems to work smoothly
for now.
Note: you may try 'Discussion' as an existing chat room.
Best wishes, --Joris
On Fri, Dec 11, 2020 at 10:17:15AM +0800, Darcy Shen via Texmacs-dev wrote:
> http://server.texmacs.org/ (131.220.222.6) is unreachable for me.
> ---- On Fri, 2020-12-11 07:47:51 TeXmacs
><mailto:texm...@lix.polytechnique.fr>
> wrote ----
>
> Dear all,
>
> You probably just saw the announcement of TeXmacs 1.99.17 on
> texmacs-users.
> There is one interesting new experimental development which is ready for
> testing by other developers: a TeXmacs server and collaborative
> authoring.
>
> For this, you have to enable the 'Remote tools' in 'Tools' and
> create an account on 'http://server.texmacs.org/'. After the that,
> the interface should be self-explanatory (hopefully),
> but don't hesitate to post on this list.
>
> Best wishes, --Joris
>
> _______________________________________________
> Texmacs-dev mailing list
> [1]mailto:Texmacs-dev@gnu.org
> [2]https://lists.gnu.org/mailman/listinfo/texmacs-dev
>
> References
>
> Visible links
> 1. mailto:mailto:Texmacs-dev@gnu.org
> 2. https://lists.gnu.org/mailman/listinfo/texmacs-dev
> /usr/bin/xdg-open: line 402: htmlview: command not found
> /usr/bin/xdg-open: line 402: firefox: command not found
> /usr/bin/xdg-open: line 402: mozilla: command not found
> /usr/bin/xdg-open: line 402: netscape: command not found
> _______________________________________________
> Texmacs-dev mailing list
> mailto:Texmacs-dev@gnu.org
> https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________
Texmacs-dev mailing list
mailto:Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________
Texmacs-dev mailing list
mailto:Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
