history I didn't know that command even exists. You can just use it in pipe with grep/sed/... to look for specific commands used in servers you do not directly

history I didn't know that command even exists. You can just use it in pipe with grep/sed/... to look for specific commands used in servers you do not directly manage often (Eg last time I used them I was looking for all the docker commands in a server to understand how to startup the correct containers and in which order)