From 5a019d490dadc1dff12ff0f0a878ff2a0c526e2f Mon Sep 17 00:00:00 2001
From: Bruce Conrad <bruce_conrad@byu.edu>
Date: Sat, 24 Sep 2022 09:33:03 -0600
Subject: [PATCH] module installation

---
 krl/byu.hr.manage_apps.krl | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/krl/byu.hr.manage_apps.krl b/krl/byu.hr.manage_apps.krl
index 9e3e6e3..c4cec45 100644
--- a/krl/byu.hr.manage_apps.krl
+++ b/krl/byu.hr.manage_apps.krl
@@ -62,7 +62,7 @@ ruleset byu.hr.manage_apps {
 <td colspan="3">Add an app by URL:</td>
 <td colspan="2">
 <form method="POST" action="#{meta:host}/sky/event/#{meta:eci}/none/#{event_domain}/new_app">
-<input type="text" name="url" placeholder="app URL">
+<input class="wide90" type="text" name="url" placeholder="app URL">
 <button type="submit">Add</button>
 </form>
 </td>
@@ -79,17 +79,31 @@ td, th {
   border: 1px solid black;
   padding: 5px;
 }
-table input {
+input.wide90 {
   width: 90%;
 }
 </style>
 >>
     manage = function(_headers){
+      eci = wrangler:channels("wrangler").head().get("id")
+      event_spec = "wrangler/install_ruleset_request"
+      installURL = <<#{meta:host}/sky/event/#{eci}/none/#{event_spec}>>
       html:header("manage apps",styles,null,null,_headers)
       + <<
 <h1>Manage apps</h1>
 >>
       + display_apps()
+      + <<
+<h2>Technical</h2>
+<p>If your app needs a module, install it here first:</p>
+<form action="#{installURL}">
+<input class="wide90" name="url" placeholder="module URL">
+<br>
+<input class="wide90" name="config" placeholder="{}">
+<br>
+<button type="submit">Install</button>
+</form>
+>>
       + html:footer()
     }
     app_rids = function(_headers){