plan9port/plumb/fileaddr

mirror of https://github.com/9fans/plan9port.git synced 2025-01-12 11:10:07 +00:00
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr=:($addrelem([,;+\-]$addrelem)*)

twocolonaddr = :([0-9]+)[:.]([0-9]+)
add plumbing files. 2003-11-23 18:30:04 +00:00			`addrelem='((#?[0-9]+)\|(/[A-Za-z0-9_\^]+/?)\|[.$])'`
			`addr=:($addrelem([,;+\-]$addrelem)*)`

plumb: column numbers in file address R=rsc http://codereview.appspot.com/2776042 2010-10-28 00:31:18 +00:00			`twocolonaddr = :([0-9]+)[:.]([0-9]+)`