Amund Stensrud Normann

This feature, a way to quickly delete a command from history, would be greatly appreciated. I frequently use the Command Search (`CTRL`+`R`) to type in abbreviations for verbose commands i...