diff options
Diffstat (limited to 'plumb/basic')
| -rw-r--r-- | plumb/basic | 24 |
1 files changed, 22 insertions, 2 deletions
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 |