sudo in web options

2024-10-16 19:01:44 +02:00
parent 260c8f073a
commit ec917b4602
5 changed files with 18 additions and 15 deletions
--- a/options.php
+++ b/options.php
@ -363,6 +363,13 @@ foreach (scandir($SCANSDIR) as $filename) {
              <div class="ui label">secondes</div>
            </div>
          </div>
+
+          <div class="inline field">
+            <div class="ui toggle checkbox" title="sudo">
+              <input type="checkbox" id="sudoCheckbox" name="sudo" <?= $sudo ?? false ? 'checked' : ''; ?>/>
+              <label for="sudoCheckbox">Exécuter en tant qu'administrateur</label>
+            </div>
+          </div>
        </div>
      </div>