> + grep '^:160000\|:[0-9]\+ 160000' |
This looks troublesome.
- [0-9] is obviously wrong and [0-7] is what you meant;
- \| and \+ are not BRE but GNU.
man grep says
In basic regular expressions the metacharacters ?, +, {, |, (, and )
lose their special meaning; instead use the backslashed versions \?,
\+, \{, \|, \(, and \).
Doen't it mean that '\|' is BRE ?
--
Ping Yin