Add files via upload

2026-07-16 05:49:49 +00:00 · 2026-06-03 20:15:52 -05:00
parent eec16d0c83
commit 3d1738ddc0
18 changed files with 1173 additions and 830 deletions
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+# Shared helpers for extras categories
+
+_inst() {
+    if is_installed "$1"; then echo " (installed)"; else echo ""; fi
+}
+
+_state() {
+    is_installed "$1" && echo "ON" || echo "OFF"
+}