bash history: keep lines that start with space