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,

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

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

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

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] 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

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

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

Re: [9fans] sources down

2018-12-30 Thread arnold
"David du Colombier" <0in...@gmail.com> wrote: > > i have wondered if it would be possible to apply the historic plan9 > > kernel diffs and regenerate these ancient kernels. > > The diff files are ed scripts generated with "diff -e", so it should be > possible to regenerate the original files

Re: [9fans] sources down

2018-12-30 Thread David du Colombier
> do you have a script that you used to generate the 9hist repository? > I always planned to ingest it into my venti. > > I have already put a few old floppy and cdrom from my past in > venti as limited //mmdd/usr/steve/... so the 9hist could go in > as //mmdd/sys/src/9/... Yes, but

Re: [9fans] sources down

2018-12-30 Thread Steve Simon
do you have a script that you used to generate the 9hist repository? I always planned to ingest it into my venti. I have already put a few old floppy and cdrom from my past in venti as limited //mmdd/usr/steve/... so the 9hist could go in as //mmdd/sys/src/9/... Thanks, -Steve

Re: [9fans] sources down

2018-12-30 Thread David du Colombier
I've just converted the 9hist diff files to a Git repository: https://github.com/0intro/9hist -- David du Colombier

Re: [9fans] sources down

2018-12-29 Thread hiro
Does somebody know if Russ still reads this list? I would be very interested if he still has the annotations...

Re: [9fans] sources down

2018-12-29 Thread David du Colombier
> i have wondered if it would be possible to apply the historic plan9 > kernel diffs and regenerate these ancient kernels. The diff files are ed scripts generated with "diff -e", so it should be possible to regenerate the original files with a bit of scripting. -- David du Colombier

Re: [9fans] sources down

2018-12-29 Thread Steve Simon
i have wondered if it would be possible to apply the historic plan9 kernel diffs and regenerate these ancient kernels. no real use but it would be interesting to see the code in its context. > On 29 Dec 2018, at 10:05 am, hiro <23h...@gmail.com> wrote: > > after checking the git mirror, it

Re: [9fans] sources down

2018-12-29 Thread hiro
after checking the git mirror, it turns out the change i'm interested in must have happened before it's beginning at 2002. On 12/28/18, Steve Simon wrote: > i have a copy if the diffs russ’s web pages used, though i dont think the > annotations are included. it lived on russ’s server i think,

Re: [9fans] sources down

2018-12-29 Thread hiro
> In all seriousness, it's not too difficult to integrate in. I used Russ' > letsencrypt package before this one. Both have been straight forward. > There are samples too. yeah, but with dp9ik around nowadays why not just use 9p access for the really inclined. somebody who doesn't even run plan9

Re: [9fans] sources down

2018-12-29 Thread hiro
hitler jokes work to relativize anything. but eekee's point was valid. On 12/28/18, Skip Tavakkolian wrote: > It's all relative. For example, compared to the current President of the > United States, this API is extremely stable :) > > On Fri, Dec 28, 2018, 11:58 AM Ethan Gardener >> On Fri,

Re: [9fans] sources down

2018-12-29 Thread Lucio De Re
On 12/29/18, Ethan Gardener wrote: > On Sat, Dec 29, 2018, at 3:58 AM, Lucio De Re wrote: >> Personally, I think HTTPS is overrated, or has just made itself >> overrated. > > I've heard from multiple sources that this kind of single-ended > authorization isn't worth much, but I'm not so sure. My

Re: [9fans] sources down

2018-12-29 Thread Ethan Gardener
On Sat, Dec 29, 2018, at 3:58 AM, Lucio De Re wrote: > Personally, I think HTTPS is overrated, or has just made itself overrated. I've heard from multiple sources that this kind of single-ended authorization isn't worth much, but I'm not so sure. My current ISP re-encrypts all data from imgur

Re: [9fans] sources down

2018-12-29 Thread Ethan Gardener
Oh, when you put it that way, I can't disagree! :D On Fri, Dec 28, 2018, at 9:15 PM, Skip Tavakkolian wrote: > It's all relative. For example, compared to the current President of > the United States, this API is extremely stable :)> > On Fri, Dec 28, 2018, 11:58 AM Ethan Gardener > > On Fri,

Re: [9fans] sources down

2018-12-28 Thread Lucio De Re
On 12/29/18, David du Colombier <0in...@gmail.com> wrote: > Actually, what I need would be an HTTP server supporting > SNI so I could serve the appropriate certificate according to > the requested hostname. > As far as I can tell (coffee still working it's way to my brain) Go's HTTPS server does

Re: [9fans] sources down

2018-12-28 Thread David du Colombier
> while I'm thinking about it, is it possible for 9legacy.org to use > letsencrypt? Go's acme/autocert package > (golang.org/x/crypto/acme/autocert) works great. Actually, what I need would be an HTTP server supporting SNI so I could serve the appropriate certificate according to the requested

Re: [9fans] sources down

2018-12-28 Thread David du Colombier
> the reason i ask is because i was trying to go through the sources > dump. sadly that isn't available at all now. The history of /n/sources/plan9 is available as a Git repository here: https://github.com/0intro/plan9 However, this doesn't include the history of the rest of /n/sources. I have

Re: [9fans] sources down

2018-12-28 Thread Steve Simon
i have a copy if the diffs russ’s web pages used, though i dont think the annotations are included. it lived on russ’s server i think, not the labs one. maybe its on the internet archive? -Steve > On 28 Dec 2018, at 9:23 pm, Skip Tavakkolian > wrote: > > In all seriousness, it's not too

Re: [9fans] sources down

2018-12-28 Thread Skip Tavakkolian
In all seriousness, it's not too difficult to integrate in. I used Russ' letsencrypt package before this one. Both have been straight forward. There are samples too. With Go modules and vendoring, package version can be locked in (notwithstanding security fixes) On Fri, Dec 28, 2018, 1:15 PM

Re: [9fans] sources down

2018-12-28 Thread Skip Tavakkolian
It's all relative. For example, compared to the current President of the United States, this API is extremely stable :) On Fri, Dec 28, 2018, 11:58 AM Ethan Gardener On Fri, Dec 28, 2018, at 7:43 PM, Skip Tavakkolian wrote: > > while I'm thinking about it, is it possible for 9legacy.org to use >

Re: [9fans] sources down

2018-12-28 Thread hiro
the reason i ask is because i was trying to go through the sources dump. sadly that isn't available at all now. also, russ used to have this very nice browseable kernel history. that is also gone :(

Re: [9fans] sources down

2018-12-28 Thread Ethan Gardener
On Fri, Dec 28, 2018, at 7:43 PM, Skip Tavakkolian wrote: > while I'm thinking about it, is it possible for 9legacy.org to use > letsencrypt?   Go's acme/autocert package (golang.org/x/crypto/acme/autocert) > works great. "This package is a work in progress and makes no API stability promises."

Re: [9fans] sources down

2018-12-28 Thread Skip Tavakkolian
I've not had any success for a while with bell-labs sources. I've been using 9p.io. https://9legacy.org is also a great resource. while I'm thinking about it, is it possible for 9legacy.org to use letsencrypt? Go's acme/autocert package (golang.org/x/crypto/acme/autocert) works great. On Fri,

Re: [9fans] sources down

2018-12-28 Thread Steve Simon
i havent seen sources working for 6 months at least. there are mirrors however: e.g. at http://plan9.io -Steve > On 28 Dec 2018, at 7:07 pm, hiro <23h...@gmail.com> wrote: > > could somebody press the button at bell-labs? > thank you.

Re: [9fans] sources down?

2015-08-24 Thread stevie
Hello fans. currently, is sources.cs.bell-labs.com down? on my plan9 box: % ndb/dnsquery sources.cs.bell-labs.com !dns: dns failure plan9.bell-labs.com plan9.bell-labs.com ip135.104.24.16 Sources is up again, but it was down for a few hours, I think.

Re: [9fans] sources down?

2015-08-24 Thread KADOTA Kyohei
Thanks stevie. My plan9 box resolved sources.cs.bell-labs.com too. Hello fans. currently, is sources.cs.bell-labs.com down? on my plan9 box: % ndb/dnsquery sources.cs.bell-labs.com !dns: dns failure plan9.bell-labs.com plan9.bell-labs.com ip 135.104.24.16 Sources is up

Re: [9fans] sources down?

2009-05-25 Thread andrey mirtchovski
nobody's saying anything, so i will: a kfs system will be left in an allowed state if all the mirrors fail.

Re: [9fans] sources down?

2009-05-25 Thread Federico G. Benavento
yeah, I noticed the bug the moment I click send :) On Mon, May 25, 2009 at 3:05 AM, andrey mirtchovski mirtchov...@gmail.com wrote: nobody's saying anything, so i will: a kfs system will be left in an allowed state if all the mirrors fail. -- Federico G. Benavento

Re: [9fans] sources down?

2009-05-25 Thread cinap_lenrek
damn, he found out our evil plan... -- cinap ---BeginMessage--- nobody's saying anything, so i will: a kfs system will be left in an allowed state if all the mirrors fail.---End Message---

Re: [9fans] sources down?

2009-05-25 Thread Steve Simon
damn, he found out our evil plan... And we would have got away with it if it hadn't been for you pesky kids. -Steve

Re: [9fans] sources down?

2009-05-25 Thread J.R. Mauro
On Mon, May 25, 2009 at 2:27 PM, Steve Simon st...@quintile.net wrote: damn, he found out our evil plan... And we would have got away with it if it hadn't been for you pesky kids. And their TALKING DOG.

Re: [9fans] sources down?

2009-05-24 Thread David Leimbach
On Sat, May 23, 2009 at 5:31 PM, ron minnich rminn...@gmail.com wrote: On Sat, May 23, 2009 at 5:28 PM, Anant Narayanan an...@kix.in wrote: On 24-May-09, at 2:17 AM, ron minnich wrote: On Sat, May 23, 2009 at 4:59 PM, J.R. Mauro jrm8...@gmail.com wrote: There are plenty of mirrors, I'm

Re: [9fans] sources down?

2009-05-24 Thread jt
Mr Leimbach, ===8=== How would one know one wasn't getting old data? I've not really looked into replica much though honestly to know how it works, I've just followed the wiki about staying up to date. Perhaps the wiki could be mirrored as well, and we could get a distributed update

Re: [9fans] sources down?

2009-05-24 Thread Federico G. Benavento
also at http://9grid.es/wiki/plan_9_wiki/ How would one know one wasn't getting old data?  I've not really looked into replica much though honestly to know how it works, I've just followed the wiki about staying up to date. eh? then what about reading the man pages? anyways, if you're files

Re: [9fans] sources down?

2009-05-24 Thread David Leimbach
On Sun, May 24, 2009 at 4:38 PM, j...@0xabadba.be wrote: Mr Leimbach, ===8=== How would one know one wasn't getting old data? I've not really looked into replica much though honestly to know how it works, I've just followed the wiki about staying up to date. Perhaps the wiki could be

Re: [9fans] sources down?

2009-05-24 Thread Federico G. Benavento
this script is probably too naive, but isn't just good enough? btw, gabriel provides a 9grid.es file to put in /dist/replica http://9grid.es/index.html?item=srv ; cat $home/bin/rc/pull #!/bin/rc rfork e # network is sources mirrors=(network 9grid.es kix.in lsub.org) flags=() while(! ~ $#* 0

Re: [9fans] sources down?

2009-05-23 Thread J.R. Mauro
There are plenty of mirrors, I'm pretty sure the sources is down AGAIN comments could be mitigated by people improving their 9fs scripts.

Re: [9fans] sources down?

2009-05-23 Thread ron minnich
On Sat, May 23, 2009 at 4:59 PM, J.R. Mauro jrm8...@gmail.com wrote: There are plenty of mirrors, I'm pretty sure the sources is down AGAIN comments could be mitigated by people improving their 9fs scripts. would be interesting to have a server that provided reliability by using whatever

Re: [9fans] sources down?

2009-05-23 Thread Anant Narayanan
On 24-May-09, at 2:17 AM, ron minnich wrote: On Sat, May 23, 2009 at 4:59 PM, J.R. Mauro jrm8...@gmail.com wrote: There are plenty of mirrors, I'm pretty sure the sources is down AGAIN comments could be mitigated by people improving their 9fs scripts. would be interesting to have a server that

Re: [9fans] sources down?

2009-05-23 Thread ron minnich
On Sat, May 23, 2009 at 5:28 PM, Anant Narayanan an...@kix.in wrote: On 24-May-09, at 2:17 AM, ron minnich wrote: On Sat, May 23, 2009 at 4:59 PM, J.R. Mauro jrm8...@gmail.com wrote: There are plenty of mirrors, I'm pretty sure the sources is down AGAIN comments could be mitigated by people

Re: [9fans] sources down?

2009-05-23 Thread Lyndon Nerenberg
There are plenty of mirrors, I'm pretty sure the sources is down AGAIN comments could be mitigated by people improving their 9fs scripts A 9fs.local (ala termrc.loca)l would solve a lot of customization issues.

Re: [9fans] sources down?

2009-05-23 Thread J.R. Mauro
On Sat, May 23, 2009 at 8:17 PM, ron minnich rminn...@gmail.com wrote: On Sat, May 23, 2009 at 4:59 PM, J.R. Mauro jrm8...@gmail.com wrote: There are plenty of mirrors, I'm pretty sure the sources is down AGAIN comments could be mitigated by people improving their 9fs scripts. would be

Re: [9fans] sources down?

2009-05-22 Thread ron minnich
On Fri, May 22, 2009 at 9:34 AM, Rudolf Sykora rudolf.syk...@gmail.com wrote: (why does this happen SO OFTEN?) warning: complaining about something you get for free is counter-productive. Unless, of course, you are also offering to help in some way. ron

Re: [9fans] sources down?

2009-05-22 Thread erik quanstrom
On Fri, May 22, 2009 at 9:34 AM, Rudolf Sykora rudolf.syk...@gmail.com wrote: (why does this happen SO OFTEN?) warning: complaining about something you get for free is counter-productive. Unless, of course, you are also offering to help in some way. ron there's web-only access at

Re: [9fans] sources down?

2009-05-22 Thread Rudolf Sykora
(why does this happen SO OFTEN?) warning: complaining about something you get for free is counter-productive. Unless, of course, you are also offering to help in some way. ron well, maybe. Maybe not. In order I be of any help I need to know why the hell this happens, first. I know next to

Re: [9fans] sources down?

2009-05-22 Thread dave . l
You may think it's a question of money (you mentioned it is for free). It's not. There are many projects out, totally for free, but reliable. When I do something it must be reliable, or it's worth criticizing. Firstly if sources goes down, no-one dies so it's not a big deal. Secondly, given

Re: [9fans] sources down?

2009-05-22 Thread Uriel
Warning, posting gratuitous obnoxious condescending comments is counter-productive. Complaining about things on the other hand, it is helpful, specially when certain people insist in being in denial of certain problems. Also note that many people have offered to help, and help is clearly not

Re: [9fans] sources down?

2009-05-22 Thread Eric Van Hensbergen
Okay Noah, you've been tee'd up. See how easy that was? -Eric Sent from my iPhone On May 22, 2009, at 4:05 PM, Uriel urie...@gmail.com wrote: Warning, posting gratuitous obnoxious condescending comments is counter-productive. Complaining about things on the other hand, it is helpful,

Re: [9fans] sources down?

2009-05-22 Thread ron minnich
On Fri, May 22, 2009 at 10:23 AM, Rudolf Sykora rudolf.syk...@gmail.com wrote: In order I be of any help I need to know why the hell this happens, first. I know next to nothing about how the whole system of sources works, still I can help if I know how. But I do not remember anybody saying:

Re: [9fans] sources down?

2009-05-22 Thread Latchesar Ionkov
The reality is that the sources outages rarely cause any _real_ problems. I wasn't able to access it few days ago, and instead of bothering geoff or jim, I just waited few hours. The server came up and I got what I needed. Lucho On Fri, May 22, 2009 at 3:43 PM, Uriel urie...@gmail.com wrote:

Re: [9fans] sources down?

2009-05-22 Thread Rudolf Sykora
While not having direct knowledge of what caused the current outage, I can say that such outages are rarely caused by Plan 9 or the hardware on which its running. Ok. So what caused the other outrages in the recent past? (I may give at least one other date, on which I even asked the same

Re: [9fans] sources down?

2009-05-22 Thread Eric Van Hensbergen
On Fri, May 22, 2009 at 6:06 PM, Rudolf Sykora rudolf.syk...@gmail.com wrote: While not having direct knowledge of what caused the current outage, I can say that such outages are rarely caused by Plan 9 or the hardware on which its running. Ok. So what caused the other outrages in the recent

Re: [9fans] sources down?

2009-05-22 Thread Francisco J Ballesteros
sources.lsub.org is avaiable just by using 9fs. But it's probably better to wait for the real thing. There are also several other mirrors IIRC that have been posted to this list. On Sat, May 23, 2009 at 1:42 AM, Eric Van Hensbergen eri...@gmail.com wrote: On Fri, May 22, 2009 at 6:06 PM,

Re: [9fans] sources down?

2009-05-22 Thread Anant Narayanan
On 23-May-09, at 1:54 AM, Francisco J Ballesteros wrote: sources.lsub.org is avaiable just by using 9fs. But it's probably better to wait for the real thing. There are also several other mirrors IIRC that have been posted to this list. % 9fs kix.in /n/sources -- Anant

Re: [9fans] Sources down

2008-11-30 Thread Richard Miller
sources seems to be down: I don't think so. term% 9fs sources post... term% lc /n/sources 9grid contrib du fastos patch wiki adm distextra lsr plan9 xen term% date Sun Nov 30 12:38:11 GMT 2008 term%

Re: [9fans] Sources down

2008-11-30 Thread Roman Zhukov
web interface is actually down -- Roma

Re: [9fans] Sources down

2008-11-30 Thread Charles Forsyth
it works for me. which page are you accessing?---BeginMessage--- web interface is actually down -- Roma---End Message---

Re: [9fans] Sources down

2008-11-30 Thread geoff
Browsing the source via http is disabled again, probably temporarily. I'm looking into what's consuming (or limiting) the bandwidth on our internet connection and into improving the performance of our outside web server.

Re: [9fans] Sources down

2008-11-30 Thread Francisco J Ballesteros
We are maintaining at sources.lsub.org a mirror for sources' plan9 and google code inferno. 9fs sources.lsub.org should work from plan9. hth On Sun, Nov 30, 2008 at 9:34 PM, [EMAIL PROTECTED] wrote: Browsing the source via http is disabled again, probably temporarily. I'm looking into what's

Re: [9fans] sources down?

2008-11-02 Thread Pietro Gagliardi
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Nov 2, 2008, at 1:51 PM, Skip Tavakkolian wrote: [blank message] The strangest part? It's been down since this morning (I'm on Murray Hill time here on Long Island); longer than usual. -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.8

Re: [9fans] sources down?

2008-11-02 Thread michael block
On Sun, Nov 2, 2008 at 15:35, [EMAIL PROTECTED] wrote: Sources is back up. We had a power outage and some of our machines didn't come back up automatically, though they usually do. and here i was thinking you had taken them offline to retool them for standard time ☺. thank you for maintaining

Re: [9fans] sources down?

2008-11-02 Thread Pietro Gagliardi
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Nov 2, 2008, at 4:58 PM, michael block wrote: retool them for standard time isn't that done automatically? -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.8 (Darwin) iEYEARECAAYFAkkOO7wACgkQuv7AVNQDs+yHxgCgqfsq+xr9i710y0c0Wogr7OIT