remove ubuntu user from devbox

AztecProtocol · May 3, 2024 · e8f0ddd · e8f0ddd
1 parent 27b99bf
commit e8f0ddd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build-images/Earthfile b/build-images/Earthfile
@@ -277,8 +277,8 @@ devbox:
     fi \
     ' >> /etc/zsh/zshrc
 
-  # Create the user we'll run as and become the user.
-  RUN useradd --shell /bin/zsh -G sudo -m aztec-dev
+  # Create the user we'll run as and become the user (remove ubuntu first).
+  RUN userdel -r ubuntu && useradd --shell /bin/zsh -G sudo -m aztec-dev
   USER aztec-dev
   WORKDIR /home/aztec-dev