How to omit command history with ignoredups