#!/bin/bash
if [ "$#" -ne 1 ]
then
	echo "Usage: $0 FILE"
	exit 1
fi

PKGS="$(tlmgr search --global --file "/$1" 2>/dev/null | grep -Po "^.*(?=:$)")"
if [[ -z "$PKGS" ]]; then exit 1; fi
if [[ $(wc -w <<< "$PKGS") -eq 1 ]]
then
	tlmgr install "$PKGS"
else
	select package in $PKGS; do
		INDEX=1
		for p in $PKGS; do
			if [ $((INDEX++)) -eq $REPLY ]; then
				tlmgr install "$p"
			fi
		done
		break;
	done
fi