Thanks, this is very useful! I realise that I’ve wasted a lot of time using “history | grep” :(