From 39f6a289138580fd4d46f2032ca6b0bff71b0b9a Mon Sep 17 00:00:00 2001
From: Adam Tilghman <agt@ucsd.edu>
Date: Fri, 6 Oct 2023 15:18:05 -0700
Subject: [PATCH] remove extraneous package

---
 Dockerfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index ec9f963..b28d50c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -23,8 +23,10 @@ ENV JULIA_DEPOT_PATH=/opt/julia JULIA_PKGDIR=/opt/julia
 RUN chmod 1777 /opt/julia/logs
 
 # Add packages (and force compilation if not already done)
+# Note the line-continuation backslash ("\") at the end of each line so that
+# all packages are installed in one Julia invocation.
 RUN julia -e 'using Pkg; Pkg.add("CSV"); Pkg.add("DataFrames"); \
-        Pkg.add("FileIO"); Pkg.add("GSEE"); Pkg.add("Gurobi"); \
+        Pkg.add("FileIO"); Pkg.add("Gurobi"); \
         Pkg.add("HiGHS"); Pkg.add("JuMP"); Pkg.add("Plots"); \
         Pkg.add("PrettyTables"); Pkg.add("Random"); \
         Pkg.add("Statistics"); Pkg.add("VegaLite"); \