From a356f326205bf6800ea7dd87f5f67d1c3c37d1aa Mon Sep 17 00:00:00 2001
From: Charles Severance <csev@umich.edu>
Date: Wed, 26 Aug 2020 10:24:21 -0400
Subject: [PATCH] Add tsugi-settings stuff

---
 config-dist.php | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/config-dist.php b/config-dist.php
index 7273641639..51c97990f6 100644
--- a/config-dist.php
+++ b/config-dist.php
@@ -477,6 +477,14 @@ function __the_end(){
     }
 }
 
+
+if ( isset($CFG->apphome) && $CFG->apphome ) {
+    $tsugi_settings = $CFG->dirroot."/../tsugi_settings.php";
+    if ( file_exists($tsugi_settings) ) {
+        require_once $tsugi_settings;
+    }
+}
+
 // The vendor include and root - generally leave these alone
 // unless you have a very custom checkout
 $CFG->vendorroot = $CFG->wwwroot."/vendor/tsugi/lib/util";