On 2020/12/08 04:40, Greg Wooledge wrote:
On Tue, Dec 08, 2020 at 09:47:05AM +0100, Andreas Schwab wrote:
On Dez 07 2020, Testing Purposes wrote:
From an integer standpoint, I know that 08 (with one leading zero) is the
same as 8.
Nope, it is a syntax error.
In a bash ma
On 2020/12/08 06:07, Chet Ramey wrote:
On 12/7/20 8:02 PM, L A Walsh wrote:
The problem is that bash isn't displaying a 'tab' character where
one was typed.
It's readline and redisplay. Readline expands tabs to spaces using an
internal tab stop of 8. This allows it to be sure of
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 12/9/20 3:55 PM, Testing Purposes wrote:
In Appendix A of the official Bash manual, it says that "suggestions and
‘philosophical’ bug reports" are requested — so please bear with me while I
get a bit philosophical about the experience that led to this thread.
Sure.
-
MY EXPE