bash$ awk '/[eE]/' readings.txt
bash$