From fbd6ef18508fb0c3011d3e284b10316edfb6dde8 Mon Sep 17 00:00:00 2001
From: "David J. Malan" <malan@harvard.edu>
Date: Sat, 5 Oct 2024 20:38:42 -0400
Subject: [PATCH] added placeholder helpers

---
 etc/profile.d/codespace.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/etc/profile.d/codespace.sh b/etc/profile.d/codespace.sh
index 2e767fad..1a554459 100644
--- a/etc/profile.d/codespace.sh
+++ b/etc/profile.d/codespace.sh
@@ -82,4 +82,15 @@ if [ "$(whoami)" != "root" ]; then
     http-server() {
         command http-server "$@" | _hostname | _version | uniq
     }
+
+    # Helpers
+    function _helped() {
+        : # TODO
+    }
+    function _helpful() {
+        : # TODO
+    }
+    function _helpless() {
+        : # TODO
+    }
 fi