yet better bash history handling