!gre # will run the last command starting with gre (so probably grep)
$ history # shows command history $ !200 # executes command 200
[0]: https://www.gnu.org/software/bash/manual/bashref.html#Event-...