plan9port

commit 83b1e7a39b1e5af82846c7e9632b802c39d96f83
parent 1d0d432ccb000b28de3309db5f8299357a46c903
Author: Dan Cross <cross@gajendra.net>
Date:   Thu, 16 Jan 2020 17:22:00 +0000

9fs: remove tip (dead?), redirect sources to 9p.io

Fixes #195.

Signed-off-by: Dan Cross <cross@gajendra.net>

Diffstat:
M
bin/9fs
 | 
4
+---

1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/bin/9fs b/bin/9fs
@@ -19,10 +19,8 @@ fn srv1 {
 
 ns=`{namespace}
 switch($1){
-case tip
-	srv1 -a tip utumno.tip9ug.jp
 case sources
-	srv1 -n sources sources.cs.bell-labs.com
+	srv1 -n sources 9p.io
 case *
 	srv1 $1 $1
 }