Re: Bash not escaping escape sequences in directory names

2022-01-21 Thread Lawrence Velázquez
On Fri, Jan 21, 2022, at 12:22 AM, L A Walsh wrote: > On 2022/01/18 22:31, Alex fxmbsw7 Ratchev wrote >>> Fix: >>> Haven't looked deeply into the bash internals but sanitizing the directory >>> name (along with other user-controlled substitutions in the prompt) should >>> work. >>> > Sanitizin

Re: Bash not escaping escape sequences in directory names

2022-01-21 Thread Alex fxmbsw7 Ratchev
maybe sub'ing them away, or making it print \\e instead \e On Fri, Jan 21, 2022, 09:24 Lawrence Velázquez wrote: > On Fri, Jan 21, 2022, at 12:22 AM, L A Walsh wrote: > > On 2022/01/18 22:31, Alex fxmbsw7 Ratchev wrote > >>> Fix: > >>> Haven't looked deeply into the bash internals but sanitizing

Re: Bash not escaping escape sequences in directory names

2022-01-21 Thread Lawrence Velázquez
On Tue, Jan 18, 2022, at 9:13 PM, Josh Harcombe wrote: > If a folder that is being displayed as part of the PS1 prompt contains > escape sequences, bash will interpret them literally instead of escaping > them like zsh does for example. Escape sequences should be fine if directly > part of the prom

Bash-5.2-alpha available

2022-01-21 Thread Chet Ramey
The first alpha release of bash-5.2 is now available with the URLs ftp://ftp.cwru.edu/pub/bash/bash-5.2-alpha.tar.gz https://ftp.gnu.org/pub/gnu/bash/bash-5.2-alpha.tar.gz and from the bash-5.2-testing branch in the bash git repository (http://git.savannah.gnu.org/cgit/bash.git/log/?h=bash-5.2-te

Re: Bash not escaping escape sequences in directory names

2022-01-21 Thread Chet Ramey
On 1/18/22 9:13 PM, Josh Harcombe wrote: Bash Version: 5.2 Patch Level: !PATCHLEVEL! Release Status: alpha Description: Note: this happens on 5.1 release version as well and probably many other previous versions If a folder that is being displayed as part of the PS1 prompt contains escape seque

Re: Bash not escaping escape sequences in directory names

2022-01-21 Thread Chet Ramey
On 1/21/22 1:43 AM, Lawrence Velázquez wrote: Personally, I would be less than pleased if my whole terminal turned red just because I changed into a directory that happened to have a weird name. A mild annoyance at best, don't you think? -- ``The lyf so short, the craft so long to lerne.'' -

Re: Bash not escaping escape sequences in directory names

2022-01-21 Thread Mike Jonkmans
On Fri, Jan 21, 2022 at 03:29:47PM -0500, Chet Ramey wrote: > On 1/21/22 1:43 AM, Lawrence Velázquez wrote: > > > Personally, I would be > > less than pleased if my whole terminal turned red just because I > > changed into a directory that happened to have a weird name. > > A mild annoyance at be

Re: Bash not escaping escape sequences in directory names

2022-01-21 Thread Chet Ramey
On 1/21/22 6:13 PM, Mike Jonkmans wrote: On Fri, Jan 21, 2022 at 03:29:47PM -0500, Chet Ramey wrote: On 1/21/22 1:43 AM, Lawrence Velázquez wrote: Personally, I would be less than pleased if my whole terminal turned red just because I changed into a directory that happened to have a weird name