[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 02:24:26 +0700 |
Date: Mon, 24 Jan 2022 19:53:03 +0100
From: Andreas Kusalananda =?utf-8?B?S8OkaMOkcmk=?=
<andreas.kahari@abc.se>
Message-ID: <Ye71jwgBhenC33RD@box>
| Why would people want it to do that (i.e. export PS1)?
It isn't exporting PS1 that's the issue, it is importing it. And that
I rely on quite frequently. (Of course, it has to be exported by something
to be imported elsewhere - which gives the reason why one would want to
export PS1).
Eg: I am often working with several variants of the same basic shell
(various bug fixes, or attempts at them, or new features being developed)
and I want to get some hint of which variant I have running in some particular
window, so when I run test code, and it works, or doesn't, I know which
variant did what).
To do that, given that they are 99.9% identical shells (including all startup
scripts etc) I just do
PS1='bugfix1 $ ' /path/to/shell1
PS1='newfeat $ ' /path/to/shell2
PS1='standard$ ' /bin/sh
(in different windows, one for each, of course), then however I move
the windows around, or whatever else I do (aside from changing PS1
obviously) I always know which variant is running.
If a shell refused to import PS1, this wouldn't work.
kre
- Re: Bash not escaping escape sequences in directory names, (continued)
- Re: Bash not escaping escape sequences in directory names, Chet Ramey, 2022/01/21
- Re: Bash not escaping escape sequences in directory names, Mike Jonkmans, 2022/01/21
- Re: Bash not escaping escape sequences in directory names, Chet Ramey, 2022/01/21
- 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 <=
- 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, 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, 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