Use host-managed SSH accounts for browser terminal

2026-04-13 19:40:38 -06:00
parent 13ce59d901
commit 5576142aec
10 changed files with 2 additions and 159 deletions
@@ -19,8 +19,6 @@ load_runtime_env() {
  : "${COURSEWARE_WIKI_PORT:=80}"
  : "${COURSEWARE_WETTY_PORT:=7681}"
  : "${COURSEWARE_WETTY_BASE_PATH:=/wetty}"
-  : "${COURSEWARE_STUDENT_USERNAME:=student}"
-  : "${COURSEWARE_LAB3_DIR:=/home/student/lab3}"
  : "${NODE_RUNTIME_BIN_DIR:=$COURSEWARE_STATE_DIR/tools/node-runtime/node_modules/node/bin}"
  : "${WETTY_BIN:=$COURSEWARE_STATE_DIR/tools/wetty/node_modules/.bin/wetty}"
  : "${PROMPTFOO_DIR:=$COURSEWARE_STATE_DIR/lab6}"