Redo in bash