[9fans] Accessing old Bell labs URLs

2019-10-18 Thread Abhinav Rajagopalan
Hi 9fans, I was recently getting into the plan 9 system as a hobbyist, and was trying to access the links provided for manuals which lead to the old Bell labs URLs, such as for example: http://plan9.bell-labs.com/magic/man2html/1/acme But the hosts aren't resolvable when I do, and end up with dea

Re: [9fans] Accessing old Bell labs URLs

2019-10-18 Thread Mark van Atten
https://9p.io/plan9/index.html -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Tc38dd191428e8ee3-Mb4367ddd42f26967267d6e2d Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

Re: [9fans] Accessing old Bell labs URLs

2019-10-18 Thread umbraticus
http://9p.io is what you want. Your example: http://9p.io/magic/man2html/1/acme see also http://man.cat-v.org -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Tda617782a458b1cf-M4b92ae63af31badd6999bebf Delivery options: https://9fans.to

Re: [9fans] Accessing old Bell labs URLs

2019-10-18 Thread Markus Sonderegger
Hi, you can find everything at http://9p.io ex.: http://9p.io/magic/man2html/1/acme On Fri, Oct 18, 2019 at 10:27 AM Abhinav Rajagopalan < abhinavrajagopa...@gmail.com> wrote: > Hi 9fans, > > I was recently getting into the plan 9 system as a hobbyist, and was > trying to access the links pro

Re: [9fans] Accessing old Bell labs URLs

2019-10-18 Thread Abhinav Rajagopalan
Ugh, I totally had it under my nose all along, missed the whole rerouting thing as I'd been using 9p.io for other info and the sources, then missed it when I went to P9 from Userspace which directed me to Bell labs, and didn't think to go back to 9p.io Sorry if I'd wasted your precious time. Than

Re: [9fans] Accessing old Bell labs URLs

2019-10-18 Thread David du Colombier
Since 9p.io is a complete mirror of plan9.bell-labs.com, any old URL should be still available by replacing "plan9.bell-labs.com" with "9p.io". You can send me an e-mail if there is any issue. -- David du Colombier -- 9fans: 9fans Permalink: https://9fan

Re: [9fans] Accessing old Bell labs URLs

2019-10-18 Thread Mat Kovach
I will confirm this. For a while there, I had plan9.bell-labs.com manually pointing to 9p.io in my home DNS setup. Just make things easier. I still add it to /etc/hosts on my systems with plan9port. - Original Message - From: "David du Colombier" <0in...@gmail.com> To: 9fans@9fans.net S