Thanks Kerin for pointing that out, fast cut&paste with mouse (right mouse
button select, middle button paste) in between terminals is fully preserving
those chars on latest Ubuntu...
etienne@etienne-7950x:~$ cat | hexdump -xc
echo ${HOME}:/home/${USER}
000 63
On Fri, 20 Oct 2023 09:41:26 + (UTC)
Etienne Lorrain via Bug reports for the GNU Bourne Again SHell
wrote:
> Configuration Information [Automatically generated, do not change]:
> Machine: x86_64
> OS: linux-gnu
> Compiler: gcc
> Compilation CFLAGS: -g -O2 -flto=auto -ffat-lto-objects -flto=a
On 10/20/23 5:41 AM, Etienne Lorrain via Bug reports for the GNU Bourne
Again SHell wrote:
etienne@etienne-7950x:~$ echo ${HOME}:/home/${USER}
bash: ${HOME}:/home/${USER}: bad substitution
etienne@etienne-7950x:~$ echo ${HOME}
Configuration Information [Automatically generated, do not change]:
Machine: x86_64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS: -g -O2 -flto=auto -ffat-lto-objects -flto=auto
-ffat-lto-objects -fstack-protector-strong -Wformat -Werror=format-security
-Wall
uname output: Linux etienne-7950x 6.
