misc: remaining v13 todos (#3370)

This commit is contained in:
Georg Lauterbach 2023-05-29 19:07:45 +02:00 committed by GitHub
parent 68265b744d
commit 6a4fac61f8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 32 additions and 18 deletions

View file

@ -1,6 +1,7 @@
#!/bin/bash
shopt -s globstar
set -o pipefail
shopt -s globstar inherit_errexit
# ------------------------------------------------------------
# ? >> Sourcing helpers & stacks