From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 5574ABC57 for ; Sun, 15 Aug 2010 12:19:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYCAKZcZ0zUGyoEkWdsb2JhbACDFZxUYhUBAQEBCQsKBxEDH6cLkHSESHMEjFs X-IronPort-AV: E=Sophos;i="4.55,371,1278280800"; d="scan'208,217";a="55434304" Received: from smtp4-g21.free.fr ([212.27.42.4]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Aug 2010 12:19:36 +0200 Received: from [192.168.0.5] (unknown [82.229.213.209]) by smtp4-g21.free.fr (Postfix) with ESMTP id 3AE2D4C8085 for ; Sun, 15 Aug 2010 12:19:28 +0200 (CEST) From: rixed@happyleptic.org Reply-To: rixed@happyleptic.org Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] More re GC hanging X-Mailer: Modest 3.2 References: <1281855821.2115.4.camel@glinka> In-Reply-To: Content-Type: multipart/alternative; boundary="=-onnqsvJEz7U9uyZZtE+j" Date: Sun, 15 Aug 2010 12:19:59 +0200 Message-Id: <1281867599.1678.5.camel@Nokia-N900> Mime-Version: 1.0 X-Spam: no; 0.00; emacs:01 emacs:01 wrote:01 wrote:01 caml-list:01 root:04 root:04 echo:05 echo:05 maybe:10 maybe:10 file:11 file:11 similar:12 similar:12 X-Attachments: cset="utf-8" cset="utf-8" --=-onnqsvJEz7U9uyZZtE+j Content-Type: text/plain; charset=utf-8 Content-ID: <1281867597.1678.2.camel@Nokia-N900> Content-Transfer-Encoding: 7bit > For some reason, I was able to edit that file using emacs, even when > echo wouldn't work. maybe you wrote "sudo echo 0 > file" or something similar which perfoms the echo as root but the redirection as normal user ? --=-onnqsvJEz7U9uyZZtE+j Content-Type: text/html; charset=utf-8 Content-ID: <1281867597.1678.4.camel@Nokia-N900> Content-Transfer-Encoding: 7bit

> For some reason, I was able to edit that file using emacs, even when
> echo wouldn't work.

maybe you wrote "sudo echo 0 > file" or something similar which perfoms the echo as root but the redirection as normal user ?

--=-onnqsvJEz7U9uyZZtE+j--