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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.