grep with color

October 5th, 2006 mysurface Posted in grep, Misc, Text Manipulation | Hits: 10613 | 6 Comments »

Nowadays most of the time, terminal support coloring. For example when you list the files in a directory, the file listed with display with different color, which indicate different type of files.

Grep too, support color, you can do this

grep --color "printf" src

grep will list all lines from files in src directory which have keyword “printf” and the word “printf” will be highlighted with color.

Related Posts
pcregrep, grep based on perl compatible regular expressions
grep supposedly support perl regex by specified -P option, but somehow my grep do not support that, it complains this wh...

Print color text in command line.
Sometimes echo is not enough, if you need to print more advanced format of text. Lucky, we have printf. printf is a comm...

customize conky
conky is a light-weight system monitor, which it draws the system information with text, lines and dots. conky allows cu...

6 Responses to “grep with color”

  1. toydi Says:
    October 5th, 2006 at 8:18 pm 
    grep --color "printf" src  #double dash
  2. mysurface Says:
    October 6th, 2006 at 12:49 pm

    The problem is, I specified

    --

    , but it been coverts to – (& # 8211 ; )

    Do you have any solution to solve this problem? Change the templates? how to change the entire blockquote to use < code >

  3. toydi Says:
    October 6th, 2006 at 4:55 pm

    I see, mostly it’s the WYSIWYG HTML editor silent conversion, I will test the editor on this weekend.

    Maybe we can add a new “code” button with in that editor, let’s try.

  4. liewsheng Says:
    October 11th, 2006 at 8:15 pm

    I face another problem when using < pre > < code > pair, '\' inside it will be deleted.

  5. mysurface Says:
    October 11th, 2006 at 10:35 pm

    Yes, you are right, therefore you need this &#92; for ( \ )

    Always check out HTML symbol for more at http://www.primeshop.com/html/jump3b.htm

  6. On offre des poins riot gratuits! Suivez les étapes faciles pour vous procurer des Riot Points GRATUITEMENT ! Says:
    May 1st, 2014 at 1:55 pm

    Thank you for each alternate informative web site. In which otherwise may I buy that type of info coded in this suitable method? I’ve got a vision that i am right now concentrating on, and i have also been for the seek out such information.

Leave a Reply