Daniel Rainer e10573088a Clean up shell scripts ...

Some changes fix actual problems, e.g. missing spaces in square bracket tests,
and backticks unintentionally causing code execution when intended as formatting.

Others, such as conservative quoting probably work fine in the old version in
most situations, but it's nice to have some additional safety.

Using `{ ..; }` instead of `(..)` is just a small performance enhancement.

Many of these issues were identified by shellcheck, which might be useful in CI
as well.

2025-04-29 10:14:06 +02:00

..

benchmarks

Remove redundant newlines, add .idea to gitignore

2024-12-29 15:31:03 +01:00

driver.sh

Clean up shell scripts

2025-04-29 10:14:06 +02:00