#file / line in PHP format type is text data matches '(.+) on line ([0-9]+)' arg isfile $1 data set $file attr add addr=$2 plumb to edit include /usr/local/plan9/plumb/initial.plumbing