From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 11CC9BB84 for ; Fri, 26 Sep 2008 16:49:18 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYBANeS3EhA6bjslGdsb2JhbACSYj4BAQEBCQsKBw8FoSIFZoc4AQKDHg X-IronPort-AV: E=Sophos;i="4.33,314,1220220000"; d="scan'208";a="17386749" Received: from wr-out-0506.google.com ([64.233.184.236]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 16:49:17 +0200 Received: by wr-out-0506.google.com with SMTP id c55so418286wra.11 for ; Fri, 26 Sep 2008 07:49:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:reply-to:to:subject:date :user-agent:cc:references:in-reply-to:content-type :content-transfer-encoding:content-disposition:message-id; bh=zrtWnrLPB3Aw44czgF6spL+W3PGW/4g+h1SVRs9XAOE=; b=vrkio6+DK9B5/I9WvVUVoGu1Pjn19HpFi8nOhLj8emxbTYu3PMaLmyKZeSVUL23B2g s/CbooWzkp8+mDiOBiOccPQt2Md+pdcE2SU3BGbo3dCJSio+v/rYAbkJLZEU/MEX8Lw/ K6xore3OTsA+PldjfuHJQ56w1VN2/I370q5S0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:reply-to:to:subject:date:user-agent:cc:references:in-reply-to :content-type:content-transfer-encoding:content-disposition :message-id; b=FtVMLt6xfdZKQHGNspsFdYRLGKc7ET9H6QUqMjiIqK+HpNjRLPQXSnaD97gntMxWSi 8pS3EtnWjW8AANMrQS4NxBCXB218jToAAb6IZLpp5ZUk99J89GAlXUpZkcOoFzjHgwBu 09KEUAa0YuoV13AYdxzObtYHbP2bxH0HtDuUc= Received: by 10.100.41.9 with SMTP id o9mr1237780ano.42.1222440556246; Fri, 26 Sep 2008 07:49:16 -0700 (PDT) Received: from ?192.168.0.102? ( [24.99.180.210]) by mx.google.com with ESMTPS id c13sm3892289anc.32.2008.09.26.07.49.14 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 26 Sep 2008 07:49:15 -0700 (PDT) From: Peng Zang Reply-To: peng.zang@gmail.com To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Teaching ocaml programming Date: Fri, 26 Sep 2008 10:49:10 -0400 User-Agent: KMail/1.9.7 Cc: Richard Jones , Caml References: <48DCC7B8.4070700@fmf.uni-lj.si> <48DCCD01.6060906@fmf.uni-lj.si> <20080926143140.GA6627@annexia.org> In-Reply-To: <20080926143140.GA6627@annexia.org> Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200809261049.13752.peng.zang@gmail.com> X-Spam: no; 0.00; ocaml:01 hash:01 0200,:01 andrej:01 emacs:01 wiki:01 peng:98 peng:98 26,:98 wrote:01 wrote:01 caml-list:01 partially:02 programming:03 gnu:03 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 You know, I love that idea. I've been meaning to use it for some of my projects and keep forgetting about it. Thanks for reminding me, Peng On Friday 26 September 2008 10:31:40 am Richard Jones wrote: > On Fri, Sep 26, 2008 at 01:52:33PM +0200, Andrej Bauer wrote: > > My teaching asistant showed the students how to do this, but it was only > > partially successful, not to mention that this required extra > > configuration. _Any_ initial configuration is a big pain, even just > > putting a line in .emacs is a challenge ("Where is this file?", "How can > > it have just an extension and no name?", "Why is the extension longer > > than three letters", etc.) > > I think I may have suggested this the last time, but is some sort of > bootable live CD / live USB key an option? Our livecd-creator tool is > especially flexible: you could build a live CD / key which has all the > right packages installed and all the configuration files in the right > place and starts up the editor of your choice when they log in. > > http://www-128.ibm.com/developerworks/linux/library/l-fedora-livecd/index.h >tml http://fedoraproject.org/wiki/FedoraLiveCD/LiveCDHowTo > > Persistence (of files in the project) is a problem but maybe they can > be encouraged to save project files to a network share or on to a USB > key. > > Rich. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) iD8DBQFI3PZpfIRcEFL/JewRAppxAJ9nDJZQzbl8jj5cyNeXup/OP/E5/ACfS88c +VOTtD2kfFZQ7Lnna+GzOyw= =mOfZ -----END PGP SIGNATURE-----