From mboxrd@z Thu Jan  1 00:00:00 1970
From: Dave Eckhardt <davide+p9@cs.cmu.edu>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Applying patches to local machine
In-Reply-To: <509071940711020452n6372fbb4h9da4b2b12f1d6701@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <1406.1194029227.1@lunacy.ugrad.cs.cmu.edu>
Date: Fri,  2 Nov 2007 14:47:07 -0400
Message-ID: <1407.1194029227@lunacy.ugrad.cs.cmu.edu>
Topicbox-Message-UUID: e6e1f372-ead2-11e9-9d60-3106f5b1d025

> if you can't be in sys for whatever reason, you'll have a somewhat
> more manual process ahead of you. identify the files to be modified,
> create local copies (i'm assuming you can at least *read* them,
> otherwise this is probably futile), bind them over the system ones,
> and re-run the patch command.

Don't forget about divergefs(*)... "divergefs -p /some/dir /sys" will
let you virtually write all over /sys, including deleting files, and
will also let you resume that environment later.

Dave Eckhardt

(*) Some compilation required.