ignore bash history duplicates