Hi Eberhard, On 01-04-2023 20:23, Paul Gevers wrote:
-set -e +# Don't call `set -e`. Even if some commands should fail, it's still +# worth running the rest of the commands. Can you elaborate?
Ping. Paul
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature