rig updates

This commit is contained in:
2026-09-16 09:31:13 -03:00
parent b9238040a6
commit fed5d92034
3 changed files with 53 additions and 18 deletions

View File

@@ -353,8 +353,8 @@ DEV_TOOLS="kind tilt ctlptl docker-compose"
# A tool already on PATH at its pinned version is left where it is. Without
# this, install downloads a second copy into OUT_BIN and then reports the first
# one as shadowed — noise, and wrong, when both are the same version. That is
# the normal state of any machine someone set up by hand: the AWS Workspace
# keeps its toolchain in ~/wdir/bin, all five at exactly these pins.
# the normal state of any machine someone set up by hand, whatever directory
# they happened to choose.
pin_of() {
case "$1" in