bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?)


From: Testing Purposes
Subject: Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?)
Date: Tue, 8 Dec 2020 19:03:00 -0500

On Tue, Dec 8, 2020 at 6:33 PM Lawrence Velázquez <vq@larryv.me> wrote:

> > On Dec 8, 2020, at 3:52 PM, Testing Purposes <
> raspberry.teststream@gmail.com> wrote:
> >
> > -----------------------
> > bash --readline-version
> > This instance of GNU Bash is using the GNU Readline library, version 8.1
> > -----------------------
> >
> > That would certainly be a more intuitive and human-friendly method.
>
> 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.
>
> vq



Subconsciously, I must have regarded Bash's version output as almost sacred —
so I honestly didn't even think of that.

But yes, I agree!

That would be the most elegant solution by far!

(And, I assume, fairly easy to implement.)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]