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!