Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Pierre Weis <pierre.weis@inria.fr>
To: luther@dpt-info.u-strasbg.fr (Sven Luther)
Cc: avv@quasar.ipa.nw.ru, zack@bononia.it, caml-list@inria.fr
Subject: Re: [Caml-list] Our shrinking Humps
Date: Sat, 5 Apr 2003 23:06:28 +0200 (MET DST)	[thread overview]
Message-ID: <200304052106.XAA05780@pauillac.inria.fr> (raw)
In-Reply-To: <20030405060347.GA2823@iliana> from Sven Luther at "Apr 5, 103 08:03:47 am"

Hi All,

Thank you everybody for being interested at maintaining a standalone
set of Caml software for the communauty.

I'm afraid I will not be able to set up the thing and answer to
everybody before the end of my vacations (during the full next
week). I will tell you more the week after!

> Err, i think the issue is more about if INRIA trust you to have an
> account inside their firewall or not. A security issue about trusting
> Joe Random Ocaml Developer.
> 
> Friendly,
> 
> Sven Luther

INRIA is a strange and complex house: we may have a machine inside
INRIA with all the corresponding facilities (no power failures, good
connectivity, full automatic backup), while maintaining this machine
outside the INRIA firewall (so, there is no way for you to connect
from this machine to a machine inside the INRIA network (even if it is
50 cm away from the machine you are logged in!)). By the way, there is
no ``Joe Random Ocaml Developer'' here: we will give accounts to
selected people only (trusted people I would say).

I was thinking of something like that, experimenting with a machine
outside our firewall and running a strong and secure OS (FreeBSD ?) to
have a very low maintenance cost.

Do you think this would be a reasonable solution ? Are there problems
I do not imagine ?

All the best,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


  parent reply	other threads:[~2003-04-05 21:06 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-03-31 14:04 Sergey Goldgaber
2003-04-02 21:52 ` Pierre Weis
2003-04-02 22:42   ` Erik Arneson
2003-04-02 23:43   ` [Caml-list] the Komprehensive Objective caml Archive Network? art yerkes
2003-04-03  6:47     ` [Caml-list] " sylvain.le-gall
2003-04-04 19:06   ` [Caml-list] Our shrinking Humps Stefano Zacchiroli
2003-04-04 19:50     ` Alexander V. Voinov
2003-04-05  6:03       ` Sven Luther
2003-04-05  6:34         ` Sergey Goldgaber
2003-04-05  6:34         ` Sergey Goldgaber
2003-04-05 21:06         ` Pierre Weis [this message]
2003-04-06 12:25           ` Stefano Zacchiroli
2003-04-06 17:20           ` Fred Yankowski
2003-04-07  0:23             ` Jacques Garrigue
2003-04-07  7:15               ` Ed L Cashin
2003-04-08  9:21                 ` Martin Weber
2003-04-06  0:20         ` Vitaly Lugovsky
2003-04-06 14:01           ` Sergey Goldgaber
2003-04-05 22:00       ` Maxence Guesdon
2003-04-05  4:20     ` Sergey Goldgaber

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=200304052106.XAA05780@pauillac.inria.fr \
    --to=pierre.weis@inria.fr \
    --cc=avv@quasar.ipa.nw.ru \
    --cc=caml-list@inria.fr \
    --cc=luther@dpt-info.u-strasbg.fr \
    --cc=zack@bononia.it \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox