Source the get_* install scripts from one shared shell library - #864

Draft

egpbos wants to merge 6 commits into

mainfrom

tools/get-script-common-library

Commits on Sep 9, 2026

Source one shared library from the get_* install scripts
egpbos
committed
def4c4a
Cover the shared install-script helpers and every clone destination
egpbos
committed
17cfad0
Bust the SOCRATES cache when the shared helpers change
egpbos
committed
aa2514d
Report a checkout git cannot read instead of guessing at it
egpbos
committed
51d2f2a
Pin that argument parsing leaves the caller's variables alone
egpbos
committed
9896ac3

Commits on Sep 15, 2026

Let bash report a missing helper library
egpbos
committed
8d71b08