On Tue, Dec 8, 2020 at 8:49 PM Chet Ramey wrote:
> On 12/8/20 6:32 PM, Lawrence Velázquez wrote:
>
> > Such information could just be added to the output of bash --version
> > (or perhaps as a shell variable à la BASH_VERSION). There is no
> > need for a separate command-line option.
>
> Why, tho
On Tue, Dec 8, 2020 at 6:33 PM Lawrence Velázquez wrote:
> > On Dec 8, 2020, at 3:52 PM, Testing Purposes <
> raspberry.teststr...@gmail.com> wrote:
> >
> > ---
> > bash --readline-version
> > This instance of GNU Bash is usin
FINAL THOUGHT — BASH FEATURE SUGGESTION:
At the moment, this external command line reveals the version of Readline
that Bash is using:
gdb bash -batch -ex 'printf "%04x\n", (int) rl_readline_version'
Given how utterly fundamental Readline is to the functioning of Bash,
perhaps it should become a
On Tue, Dec 8, 2020 at 1:35 AM Eastern Time, Koichi Murase wrote:
> Because the information on the literal format used in the source code
> is lost in the executable `bash', you need to explicitly specify the
> format `0xMMmm' (i.e. %04x) to gdb like this:
>
> (gdb) printf "%04x\n", (int) rl_read
On Mon, Dec 7, 2020 at 9:30 PM Eastern Time, Clark Wang wrote:
The integer 0x801 is the same as 0x0801.
>
> # echo $(( 0x801 ))
> 2049
> # echo $(( 0x0801 ))
> 2049
> # echo $(( 0x0801 ))
> 2049
> #
>
>From an integer standpoint, I know that 08 (with one leading zero) is the
same as 8.
But
Configuration Information [Automatically generated, do not change]:
Machine: aarch64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS: -g -O2 -Wno-parentheses -Wno-format-security
uname output: Linux raspberrypi 5.4.72-v8+ #1356 SMP PREEMPT Thu Oct 22
13:58:52 BST 2020 aarch64 G$
Machine Type: aarch6
