egrep
pode obter várias linhas de um arquivo. Usando um pipe |
como um separador, você pode escolher quantos critérios diferentes quiser. egrep
é o equivalente de grep -E
. egrep
é um script encontrado na pasta /bin
com o conteúdo apontando para exec grep -E "$@"
.
Exemplo:
egrep "IDno=|Type=Student" inputfile
ou
grep -E "IDno=|Type=Student" inputfile
A saída deve:
IDno="1"
Type=Student
IDno="2"
Espero que isso ajude!