1 (* Parses entries in /etc/securetty
3 Author: Simon Josi <josi@yokto.net>
8 let word = /[^ \t\n#]+/
10 let empty = Util.empty
11 let comment = Util.comment
12 let comment_or_eol = Util.comment_or_eol
14 let record = [ seq "securetty" . store word . comment_or_eol ]
15 let lns = ( empty | comment | record )*
17 let filter = (incl "/etc/securetty")
18 let xfm = transform lns filter