1. 2013-04-18 Re: Highlighting CLI output: what are these terms cal debian-us Bob Proulx 2. 2013-04-18 Re: Highlighting CLI output: what are these terms cal debian-us Dotan Cohen 3. 2013-04-18 Re: Highlighting CLI output: what are these terms cal debian-us Dotan Cohen 4. 2013-04-18 Re: Highlighting CLI output: what are these terms =?U debian-us berenger.morel 5. 2013-04-18 Re: Highlighting CLI output: what are these terms cal debian-us Dotan Cohen 6. 2013-04-18 Re: Highlighting CLI output: what are these terms cal debian-us Chris Davies 7. 2013-04-17 Re: Highlighting CLI output: what are these terms cal debian-us Bob Proulx 8. 2013-04-17 Re: Highlighting CLI output: what are these terms cal debian-us Dotan Cohen 9. 2013-04-17 Re: Highlighting CLI output: what are these terms cal debian-us Morel_Bérenger 10. 2013-04-17 Re: Highlighting CLI output: what are these terms cal debian-us Loïc Grenié 11. 2013-04-17 Highlighting CLI output: what are these terms called? debian-us Dotan Cohen