From 31c3b63772ec90f27fea97c2ebd4e587d217e3c2 Mon Sep 17 00:00:00 2001
From: David Carley <dacarley@gmail.com>
Date: Fri, 9 Sep 2022 04:04:42 +0000
Subject: [PATCH] Minor tweak to the dev environment

---
 .devcontainer/install_tools.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/install_tools.sh b/.devcontainer/install_tools.sh
index 5860b69..8ffc901 100755
--- a/.devcontainer/install_tools.sh
+++ b/.devcontainer/install_tools.sh
@@ -43,5 +43,5 @@ apt-get install -y nodejs
 mkdir -p /root/.ssh
 cat > /root/.ssh/config <<- END
 Host onefinity
-	User bbmc
+        User bbmc
 END