From 1e7fc142290dfd9cdc6f34a23fd4684be79bb19e Mon Sep 17 00:00:00 2001
From: Correl <correl@gmail.com>
Date: Wed, 24 Jun 2020 21:31:32 -0400
Subject: [PATCH] [provisioning] Add message when tex is installed

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

diff --git a/recipes/tex b/recipes/tex
index 2028ebe..9c43456 100644
--- a/recipes/tex
+++ b/recipes/tex
@@ -14,6 +14,8 @@ case "$(uname -s)" in
         if ! command -v tlmgr >/dev/null; then
             _ppa jonathonf/texlive
             _apt texlive-full
+        else
+            echo "[tex] Texlive appears to already be installed, skipping."
         fi
         # xzdec is required by tlmgr
         _apt xzdec