From ccee548fda64eeb62a771e01b5ddab5f4177b2bf Mon Sep 17 00:00:00 2001 From: rsc Date: Thu, 4 Dec 2003 19:18:06 +0000 Subject: . --- plumb/basic | 24 ++++++++++++++++++++++-- 1 file changed, 22 insertions(+), 2 deletions(-) (limited to 'plumb') diff --git a/plumb/basic b/plumb/basic index dd391698..a065799e 100644 --- a/plumb/basic +++ b/plumb/basic @@ -59,10 +59,30 @@ plumb to edit plumb start /usr/local/plan9/bin/B $file:$3 # plumb client window $editor -# .h files are looked up in /sys/include and passed to edit +# .h files are looked up in /usr/include and passed to edit type is text data matches '([a-zA-Z¡-￿0-9]+\.h)('$addr')?' -arg isfile /sys/include/$1 +arg isfile /usr/include/$1 +data set $file +attr add addr=$3 +plumb to edit +plumb start /usr/local/plan9/bin/B $file:$3 +# plumb client window $editor + +# .h files are looked up in /usr/local/include and passed to edit +type is text +data matches '([a-zA-Z¡-￿0-9]+\.h)('$addr')?' +arg isfile /usr/local/include/$1 +data set $file +attr add addr=$3 +plumb to edit +plumb start /usr/local/plan9/bin/B $file:$3 +# plumb client window $editor + +# .h files are looked up in /usr/local/plan9/include and passed to edit +type is text +data matches '([a-zA-Z¡-￿0-9]+\.h)('$addr')?' +arg isfile /usr/local/plan9/include/$1 data set $file attr add addr=$3 plumb to edit -- cgit v1.2.3