commit 83b1e7a39b1e5af82846c7e9632b802c39d96f83
from: Dan Cross <cross@gajendra.net>
date: Thu Jan 16 17:22:27 2020 UTC

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

Fixes #195.

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

commit - 1d0d432ccb000b28de3309db5f8299357a46c903
commit + 83b1e7a39b1e5af82846c7e9632b802c39d96f83
blob - fffdc35b3eb1efd70c96267562c112d6c79dad83
blob + 467b3191d0eae9569e436270db2ed2996408186e
--- bin/9fs
+++ 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
 }