o problema também ocorre com outro shell?
Você poderia, por exemplo abra o terminal e inicie outro shell digitando:
sh
e, em seguida, trabalhe com esse shell. O problema pode ser reproduzido usando sh (em vez de bash)?
Saudações da Suíça, Michael