今回も脱線です。
時代遅れでしょうけど、私は日頃からgrepを使っています。
目を鍛える意味で色は付けてません。
takk@deb9:~/tmp/gmp-6.1.2+dfsg$ grep -r In.general *

目が疲れた時は、–colorを使います。
takk@deb9:~/tmp/gmp-6.1.2+dfsg$ grep -r In.general * --color

もっと疲れると、スクリプトを書いて、
takk@deb9:~/tmp/gmp-6.1.2+dfsg$ cat -n grep-html.pl
1 $pattern=$ARGV[0];
2 open(IN,"grep -rn $pattern * |");
3 while(<IN>){
4 s|($pattern)|<font color=red>$1</font><BR>|g;
5 push @all,$_;
6 }
7 close(IN);
8
9 print <<EOL;
10 <HTML>
11 <BODY>
12 @all
13 </BODY>
14 </HTML>
15 EOL
16
takk@deb9:~/tmp/gmp-6.1.2+dfsg$
書いたスクリプトでhtmlに変換して、ブラウザでみます。
takk@deb9:~/tmp/gmp-6.1.2+dfsg$ perl grep-html.pl In.general > a.html



コメント