search for: sep_tab

Displaying 1 result from an estimated 1 matches for "sep_tab".

Did you mean: rep_tab
2010 Jun 30
3
[PATCH 1/2] Add new augeas directory with grub device.map lens
...at.com/archives/augeas-devel/2010-June/msg00027.html diff --git a/augeas/device_map.aug b/augeas/device_map.aug new file mode 100644 index 0000000..090edd5 --- /dev/null +++ b/augeas/device_map.aug @@ -0,0 +1,28 @@ +(* Parsing grub's device.map *) + +module Device_map = + autoload xfm + + let sep_tab = Sep.tab + let eol = Util.eol + let fspath = Rx.fspath + let del_str = Util.del_str + + let comment = Util.comment + let empty = Util.empty + + let dev_name = /(h|f|c)d[0-9]+(,[0-9a-zA-Z]+){0,2}/ + let dev_hex = /0x[0-9a-fA-F]+/ + let dev_dec = /[0-9]+/ + + let device = del_str &...