64c30511e45e53652bd4413132e047e8833f0f58
8 PKGS
="$(tlmgr search --global --file "/$1" 2>/dev/null | grep -Po "^.
*(?
=:$
)")"
9 if [[ -z "$PKGS" ]]; then exit 1; fi
10 if [[ $
(wc -w <<< "$PKGS") -eq 1 ]]
14 select package
in $PKGS; do
17 if [ $
((INDEX
++)) -eq $REPLY ]; then