> On Dec 8, 2020, at 3:52 PM, Testing Purposes <raspberry.teststr...@gmail.com> > wrote: > > 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 built-in option of Bash itself — like this: > > ----------------------- > 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
