From a52d1fa28fdb0ce4eac7bc42f4213b25683b0f6d Mon Sep 17 00:00:00 2001
From: "David J. Malan" <malan@harvard.edu>
Date: Fri, 2 Jan 2026 10:10:31 -0500
Subject: [PATCH 1/2] Remove BFG installation from Dockerfile

Removed BFG installation step from Dockerfile.
---
 Dockerfile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 759d7e8b..9f3bcea2 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -21,10 +21,6 @@ RUN echo "deb-src http://archive.ubuntu.com/ubuntu/ jammy main restricted" > /et
     tar --create --gzip --file /build/glibc-sMfBJT/glibc.tar.gz glibc*
 
 
-# Install BFG
-RUN wget https://repo1.maven.org/maven2/com/madgag/bfg/1.14.0/bfg-1.14.0.jar -P /opt/share
-
-
 # Install Lua 5.x
 # https://www.lua.org/download.html
 RUN cd /tmp && \

From dccb31bba490bcbf85d99ebc7617494bf6a8d178 Mon Sep 17 00:00:00 2001
From: "David J. Malan" <malan@harvard.edu>
Date: Fri, 2 Jan 2026 10:11:38 -0500
Subject: [PATCH 2/2] Remove BFG alias from codespace.sh

Removed alias for BFG tool from codespace.sh
---
 etc/profile.d/codespace.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/etc/profile.d/codespace.sh b/etc/profile.d/codespace.sh
index 2e767fad..f49ed703 100644
--- a/etc/profile.d/codespace.sh
+++ b/etc/profile.d/codespace.sh
@@ -44,9 +44,6 @@ if [ "$(whoami)" != "root" ]; then
     }
     PS1='$(_prompt)'
 
-    # Alias BFG
-    alias bfg="java -jar /opt/share/bfg-1.14.0.jar"
-
     # Configure cd to default to workspace
     alias cd="HOME=\"/workspaces/$RepositoryName\" cd"