install.sh

1#!/usr/bin/env sh2# G-05 install/remove/try. nina install reads a profile/system choice from stdin3# and defaults to PROFILE install on EOF, so `</dev/null` drives it4# non-interactively. install runs `nix search` first (memory-heavy → needs5# MEM_MB>=6144). Uses ripgrep (already in the system closure → no rebuild) and6# hello (tiny); firefox/etc. would work but are slow under TCG. The 's' system7# path opens an editor and is intentionally not exercised.8set -u9N=/root/nina1011echo "KILN_G05_BEGIN"1213echo "### T-071 nina install ripgrep (profile; stdin EOF -> default profile)"14$N install ripgrep </dev/null; echo "INSTALL_RG_RC=$?"15echo "rg in profile: $(ls /root/.nix-profile/bin/rg 2>/dev/null || echo MISSING)"1617echo "### nina profile list (expect ripgrep present)"18$N profile list </dev/null; echo "PROFLIST_RC=$?"1920echo "### T-074 nina remove ripgrep (profile)"21$N remove ripgrep </dev/null; echo "REMOVE_RC=$?"22echo "rg after remove: $(ls /root/.nix-profile/bin/rg 2>/dev/null || echo GONE)"2324echo "### T-076 nina try hello (nix shell; stdin EOF exits the shell)"25$N try hello </dev/null; echo "TRY_RC=$?"2627echo "### T-072 nina install nonexistent (expect 'not found', exit 1)"28$N install xyzzy-nope-abc123 </dev/null; echo "INSTALL_NONE_RC=$?"2930echo "KILN_G05_END"