Rafael, já vou responder à sua pergunta, primeiro eu queria dar uma notícia para a lista:
Ontem eu pedi a vcs que contribuissem com pequenos scripts (como quase todos são) que julguem interessantes ou utilizações pouco conhecidas como o script que o Tiago postou, para o Cantinho do Shell, mantido pelo Rubens Queiroz, só não informei o e-mail deste nosso abnegado amigo, para que enviem tal contribuição. Seu e-mail é [EMAIL PROTECTED] Agradeço a todos que derem uma força para o nosso amigo e aliado. Rafael, agora é contigo: vc quer filtrar 19:25. Mas de que tipo? 19:25:10 ou 10:19:25? Ambos são horas válidas. No primeiro caso, faça: grep -F " 19:25:" arq e no segundo: grep -F ":19:25 " arq Abraços, Julio :wq Em 10/01/07, rafael.nery <[EMAIL PROTECTED]> escreveu: > > Olá! > tenho um arq com seguinte formato de data: > [Time: 2007/01/09 21:19:07.914] > Como eu faço para fazer um filtro apenas das 19:25. > Tentei fazer um grap: > grep "19:25" /nome mas n retornou nada. > > > [As partes desta mensagem que não continham texto foram removidas]
