#!/bin/bash

history-cleanup() {
	sed 's/^ *[0-9]*  //' | 
	sed 's/ | less$//' |
	uniqo | exclude-prefixes.py
}

history-clean() {
	history "$@" | history-cleanup
}

if [ "$0" = "$BASH_SOURCE" ]; then
	history-cleanup "$@"
fi