From 1752f207eb247fb4ae5b1685c34ae9ac3a16a7e2 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 25 Sep 2017 11:01:44 +0200
Subject: [PATCH] tlmgr is now separate in itex repo

---
 x/.local/bin/tlmgri | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100755 x/.local/bin/tlmgri

diff --git a/x/.local/bin/tlmgri b/x/.local/bin/tlmgri
deleted file mode 100755
index 64c3051..0000000
--- a/x/.local/bin/tlmgri
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/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
-- 
2.20.1