From 6c5eeafa15e59c35345dbcca5dc2858a6120d11b Mon Sep 17 00:00:00 2001
From: Correl <correl@gmail.com>
Date: Wed, 24 Jun 2020 19:51:04 -0400
Subject: [PATCH] [provisioning] Skip texlive install if available

---
 recipes/tex | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/recipes/tex b/recipes/tex
index e415945..2028ebe 100644
--- a/recipes/tex
+++ b/recipes/tex
@@ -9,8 +9,12 @@ case "$(uname -s)" in
         ;;
     *)
         _recipe _apt
-        _ppa jonathonf/texlive
-        _apt texlive-full
+        # Install texlive if it isn't already available (e.g. a local or
+        # portable installation).
+        if ! command -v tlmgr >/dev/null; then
+            _ppa jonathonf/texlive
+            _apt texlive-full
+        fi
         # xzdec is required by tlmgr
         _apt xzdec
 esac