Re: [PATCH] Fix PS1 prompt for shell