Re: [9fans] sources down

2018-12-31 Thread sl
i think what annoys people is things (experiments, code, entire operating systems) that are intended to be kept private neverthess stil get mentioned. the happiest scenario is the one we just witnessed: after an exchange of several more messages on the list, the bits got published. thanks, david.

Re: [9fans] sources down

2018-12-31 Thread hiro
no i agree lucio, i failed in believing what you described would be obvious to everybody involved. the script itself is rather simple. but the outcome is more important: thanks to david for making sure everybody can find the plan9 history on google/github without having to get too deeply involved.

Re: [9fans] sources down

2018-12-31 Thread Lucio De Re
There's the other side of the coin, too, just so everyone can tell I'm cursed with seeing more than one side of situations like this: no one can learn much from "private exchanges". So David's freedom not to publish a one-off ought to be weighed against the benefit that someone may be able to buil

Re: [9fans] sources down

2018-12-31 Thread hiro
On 12/31/18, Devon H. O'Dell wrote: > This “send it to you privately” ethos is a problem on this list. Why not > make it public? I generally agree, but in this case he was forced to spend more work (cleaning up, and documenting it). >From my experience with scripts of the same length the work to

Re: [9fans] sources down

2018-12-31 Thread arnold
"David du Colombier" <0in...@gmail.com> wrote: > > Let me restate the question. When one has only the "new" file and > > the ed script that created it from the "old" one, and said script > > says "delete lines N through M", how does one recover the lines > > that were deleted? (With context or un

Re: [9fans] sources down

2018-12-31 Thread David du Colombier
> Let me restate the question. When one has only the "new" file and > the ed script that created it from the "old" one, and said script > says "delete lines N through M", how does one recover the lines > that were deleted? (With context or unified diffs, the deleted text > is there.) I don't thin

Re: [9fans] sources down

2018-12-31 Thread David du Colombier
Well, here is it: http://www.9legacy.org/9legacy/tools/9hist-to-git.sh The notes are inside the script. -- David du Colombier

Re: [9fans] Acme resize bug

2018-12-31 Thread Ethan Gardener
On Sun, Dec 30, 2018, at 10:22 PM, Jacob Moody wrote: > Hello 9fans, > > I've noticed that sometimes when resizing acme columns there is a > strip left at the bottom that doesn't get redrawn. > It's a bit hard to notice with the default colours, but changing it up > makes it more obvious. > I was

Re: [9fans] sources down

2018-12-31 Thread Steve Simon
hi, one “send it privately” event does not an ethos make. i am speaking for Davide here, but i do not think he feels the it was worth publishing widely, being a throw away script. i am going to spend some time and try and beautify it, if i succeed i will post my version. if in the meantime,

Re: [9fans] sources down

2018-12-31 Thread arnold
> On Sun, Dec 30, 2018 at 11:58:20PM -0700, arn...@skeeve.com wrote: > > > > How does that work if lines were deleted? Kurt H Maier wrote: > [ example session, deleted ] Let me restate the question. When one has only the "new" file and the ed script that created it from the "old" one, and said

Re: [9fans] sources down

2018-12-31 Thread Lucio De Re
I guess it's a choice we need to be free to make. Sometimes the effort involved in making something sufficiently polished for publication is too much, when one is too self-conscious to dump a dog's breakfast for the Internet to vomit over forever (no reflection over David's coding). There isn't a

Re: [9fans] sources down

2018-12-31 Thread Devon H. O'Dell
This “send it to you privately” ethos is a problem on this list. Why not make it public? —dho On Sun, Dec 30, 2018 at 2:55 PM David du Colombier <0in...@gmail.com> wrote: > > do you have a script that you used to generate the 9hist repository? > > I always planned to ingest it into my venti. > >

Re: [9fans] sources down

2018-12-31 Thread Kurt H Maier
On Sun, Dec 30, 2018 at 11:58:20PM -0700, arn...@skeeve.com wrote: > > How does that work if lines were deleted? > > Thanks, > > Arnold > $ cat one two a b c d e f g h i a b c g h i j k l $ diff -e one two 3a j k l . 2d khm