From: David Laight <david.laight.linux@gmail.com>
To: Kevin Locke <kevin@kevinlocke.name>
Cc: Jonathan Corbet <corbet@lwn.net>,
Randy Dunlap <rdunlap@infradead.org>,
Thorsten Leemhuis <linux@leemhuis.info>,
linux-kernel@vger.kernel.org
Subject: Re: [PATCH] tools: remove unnecessary x suffix in test strings
Date: Sun, 19 Oct 2025 11:17:48 +0100 [thread overview]
Message-ID: <20251019111748.3d5ac8d9@pumpkin> (raw)
In-Reply-To: <aPLC_HdznsRcJbjk@kevinlocke.name>
On Fri, 17 Oct 2025 16:28:12 -0600
Kevin Locke <kevin@kevinlocke.name> wrote:
> On Fri, 2025-10-17 at 15:12 +0100, David Laight wrote:
> > On Thu, 16 Oct 2025 17:47:09 -0600 Kevin Locke <kevin@kevinlocke.name> wrote:
> >> Remove the "x" suffixes which unnecessarily complicate the code.
> >
> > The problems arise when $1 is (say) "-x", a simple LR parser will treat
> > [ -x = -x ] as a check for the file "=" being executable and then give
> > a syntax error for the second -x.
> > I can't imagine why shellcheck should warn about a leading x (or any other
> > character) provided field splitting is disabled (eg by "").
> > The leading x has definitely been needed in the past.
>
> Yep, it definitely has been. The rationale on the wiki is that it's
> not necessary for modern shells (and presumably that it unnecessarily
> complicates the code): https://www.shellcheck.net/wiki/SC2268
> However, it notes Zsh had issues as recently as 2015, which is not as
> old as I would have expected.
It doesn't really make much difference to the shell.
I really doubt you'll notice any difference in the time it takes to run.
>
> > POSIX does require the three argument 'test' look for the middle argument
> > being an operator - but there might be historic shells that don't so that.
> > OTOH you are probably looking for code from the early 1980s!
> > But the POSIX spec (last time I read it) does point out the problems
> > with arbitrary strings being treated as operators causing complex expressions
> > be mis-parsed - which a leading x fixes.
>
> Good point. I just reread it and can confirm that the current version
> still notes issues mitigated by the X prefix with "historical shells"
> and with greater than 4 argument cases:
> https://pubs.opengroup.org/onlinepubs/9799919799/utilities/test.html
The fact that the 'greater than 4 argument case' can still require
a prefix character might be considered enough to make adding one all the
time 'good practise' even though it (probably) isn't actually needed.
While I wouldn't error not having a prefix, generating an error when
there is one seems wrong.
What does shellcheck do with [ "$a" = "$b" -o "$c" = "$d" ] ?
Or even [ "$a" "$b" "$c" "$d" "$e" "$f "$g" ] ??
>
> >> I think they are safe to
> >> remove to clean up the code a bit. Here's a patch to do just that,
> >> which can be applied on top of my previous patch.
> >>
> >> Since -o is an XSI extension to POSIX, I've stuck with ||, but I think
> >> you are right that x would not be required in that case either.
> >
> > I'm not sure there are any common shells that don't support -o and -a.
> > They get used quite a lot.
> > I'm pretty sure they were supported by the pre-POSIX System-V shells
> > (or the /bin/[ program they ran).
>
> You are probably right. I still remember when Debian policy allowed
> them and posh added support in 2007/2008:
> https://lists.debian.org/debian-devel/2006/11/msg00710.html
> (I was corrected by Clint Adams about -a and -o being XSI extensions
> some years before then when I noted posh lacked support, which is
> probably why I still remember it.)
>
> I find && and || more readable, but I'm open to changing it if you
> feel strongly.
They get parsed entirely differently and are likely to be measurably slower.
Just FYI I tend not to use 'if' statements at all, just (eg):
[ a = b ] && echo a == b
> Do I understand correctly that you are in favor of using the x prefix?
> I have a slight preference for leaving it off, but I'm open to adding
> it if you (or others) feel strongly.
I wouldn't take them out and consider shellcheck wrong, but the suffix
were just stupid.
David
> Thanks for the interesting discussion,
> Kevin
next prev parent reply other threads:[~2025-10-19 10:17 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-10-11 21:04 [PATCH] tools: fix == bashism in kernel-chktaint Kevin Locke
2025-10-11 22:07 ` Randy Dunlap
2025-10-11 22:26 ` Randy Dunlap
2025-10-13 6:52 ` Thorsten Leemhuis
2025-10-13 14:41 ` [PATCH v2] " Kevin Locke
2025-10-13 16:46 ` Randy Dunlap
2025-10-16 20:47 ` [PATCH] " David Laight
2025-10-16 23:47 ` [PATCH] tools: remove unnecessary x suffix in test strings Kevin Locke
2025-10-17 4:00 ` Randy Dunlap
2025-10-17 14:12 ` David Laight
2025-10-17 22:28 ` Kevin Locke
2025-10-19 10:17 ` David Laight [this message]
2025-10-20 20:18 ` Kevin Locke
2025-10-21 8:59 ` David Laight
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20251019111748.3d5ac8d9@pumpkin \
--to=david.laight.linux@gmail.com \
--cc=corbet@lwn.net \
--cc=kevin@kevinlocke.name \
--cc=linux-kernel@vger.kernel.org \
--cc=linux@leemhuis.info \
--cc=rdunlap@infradead.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox