From 292470d84bc15a739065858ac6563397ad0d8ef5 Mon Sep 17 00:00:00 2001
From: Chris Copeland <chris@chrisnc.net>
Date: Sat, 24 Dec 2022 16:36:54 -0800
Subject: [PATCH] remove docker username argument

---
 Dockerfile  | 5 ++---
 docker.bash | 2 +-
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 58e9481..f680399 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,6 +11,5 @@ RUN apt-get update && \
       llvm \
       scons
 
-ARG username
-RUN useradd $username
-USER $username
+RUN useradd rt
+USER rt
diff --git a/docker.bash b/docker.bash
index fc4a476..3996d43 100755
--- a/docker.bash
+++ b/docker.bash
@@ -5,7 +5,7 @@ set -xe
 name="rt"
 image="$name-builder"
 
-docker build --tag "$image" --build-arg "username=$name" "$(dirname $0)"
+docker build --tag "$image" "$(dirname $0)"
 
 workdir="/home/$name"