[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bash not escaping escape sequences in directory names
From: |
Robert Elz |
Subject: |
Re: Bash not escaping escape sequences in directory names |
Date: |
Tue, 25 Jan 2022 05:24:13 +0700 |
Date: Tue, 25 Jan 2022 05:45:23 +0800
From: konsolebox <konsolebox@gmail.com>
Message-ID:
<CAJnmqwbVRbDijqCU8+oo0GViC7onEw8NkV4dJFyy3O5eEPme6w@mail.gmail.com>
| As for me whatever it is, it should be done consistently and with no
| compromise.
I have no idea why you decided to send this message to me (as well as the
list), my message was entirely about why one might want to export, and
import, PS1 into a shell, which your comments don't seem to have anything
to do with at all.
But I also fail to see how:
| Post filename expansion or population processes should not make any
| interpretation of the expanded filenames in whatsoever manner.
is related to the original issue either, which was just about how
a (literally unchanged) pathname sent to a terminal might cause weird
effects (changing the font foreground to red would be nothing to be too
alarmed about, making it be black on black would be less amusing to most
people).
kre
- Re: Bash not escaping escape sequences in directory names, (continued)
- Re: Bash not escaping escape sequences in directory names, Andreas Kusalananda Kähäri, 2022/01/22
- Re: Bash not escaping escape sequences in directory names, Koichi Murase, 2022/01/22
- Re: Bash not escaping escape sequences in directory names, Chet Ramey, 2022/01/22
- Re: Bash not escaping escape sequences in directory names, Andreas Kusalananda Kähäri, 2022/01/22
- Re: Bash not escaping escape sequences in directory names, Chet Ramey, 2022/01/24
- Re: Bash not escaping escape sequences in directory names, Andreas Kusalananda Kähäri, 2022/01/24
- Re: Bash not escaping escape sequences in directory names, Greg Wooledge, 2022/01/24
- Re: Bash not escaping escape sequences in directory names, Robert Elz, 2022/01/24
- Re: Bash not escaping escape sequences in directory names, Andreas Kusalananda Kähäri, 2022/01/24
- Re: Bash not escaping escape sequences in directory names, konsolebox, 2022/01/24
- Re: Bash not escaping escape sequences in directory names,
Robert Elz <=
- Re: Bash not escaping escape sequences in directory names, konsolebox, 2022/01/24
- Re: Bash not escaping escape sequences in directory names, Robert Elz, 2022/01/24
- Re: Bash not escaping escape sequences in directory names, konsolebox, 2022/01/24
- Re: Bash not escaping escape sequences in directory names, Chet Ramey, 2022/01/24
- Re: Bash not escaping escape sequences in directory names, L A Walsh, 2022/01/26
- Re: Bash not escaping escape sequences in directory names, Andreas Kusalananda Kähäri, 2022/01/26
- Re: Bash not escaping escape sequences in directory names, Lawrence Velázquez, 2022/01/22
Re: Bash not escaping escape sequences in directory names, Andreas Schwab, 2022/01/22
Re: Bash not escaping escape sequences in directory names, Chet Ramey, 2022/01/21