mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-24 11:41:58 +00:00
plumb: change inferno module path to /usr/inferno/module (Anthony Sorace)
This commit is contained in:
parent
7a61658daa
commit
9a0e004842
1 changed files with 2 additions and 2 deletions
|
@ -95,10 +95,10 @@ attr add addr=$3
|
||||||
plumb to edit
|
plumb to edit
|
||||||
plumb client $editor
|
plumb client $editor
|
||||||
|
|
||||||
# .m files are looked up in /sys/module and passed to edit
|
# .m files are looked up in /usr/inferno/module and passed to edit
|
||||||
type is text
|
type is text
|
||||||
data matches '([a-zA-Z¡-0-9/_\-]+\.m)('$addr')?'
|
data matches '([a-zA-Z¡-0-9/_\-]+\.m)('$addr')?'
|
||||||
arg isfile /sys/module/$1
|
arg isfile /usr/inferno/module/$1
|
||||||
data set $file
|
data set $file
|
||||||
attr add addr=$3
|
attr add addr=$3
|
||||||
plumb to edit
|
plumb to edit
|
||||||
|
|
Loading…
Reference in a new issue