Fixing spelling spaces

[Samuel Thibault]

Hello,

Zahari Yurukov, on lun. 20 mars 2017 15:44:48 +0200, wrote:
> It looks like though that doesn't get rid of all the extra spaces, i. e. when pressing Enter in bash..

I don't manage to reproduce this. What does your $PS1 look like? I guess
by "pressing Enter in bash", you mean pressing enter without entering
anything before, i.e. an empty command?

Samuel