#!/usr/bin/env sh # G-05 install/remove/try. nina install reads a profile/system choice from stdin # and defaults to PROFILE install on EOF, so `=6144). Uses ripgrep (already in the system closure → no rebuild) and # hello (tiny); firefox/etc. would work but are slow under TCG. The 's' system # path opens an editor and is intentionally not exercised. set -u N=/root/nina echo "KILN_G05_BEGIN" echo "### T-071 nina install ripgrep (profile; stdin EOF -> default profile)" $N install ripgrep /dev/null || echo MISSING)" echo "### nina profile list (expect ripgrep present)" $N profile list /dev/null || echo GONE)" echo "### T-076 nina try hello (nix shell; stdin EOF exits the shell)" $N try hello