🧑‍💻 More compatible opt helpers

2024-09-21 20:27:14 -05:00
parent f2d585ac7f
commit 74ffa0cc3e
13 changed files with 92 additions and 44 deletions
@@ -9,7 +9,6 @@
 # so at every release be sure to create a dev- tag and publish it to origin.
 #

-SED=$(which gsed sed | head -n1)
 SELF=`basename "$0"`
 DRYRUN=0