From daaee5decb36217e11b7996bdc1f29926725ee88 Mon Sep 17 00:00:00 2001
From: Daniel Ceregatti <Daniel.Ceregatti@PolicyMap.com>
Date: Sat, 22 Jun 2024 13:20:08 -0700
Subject: [PATCH] Handle the server ID in PS1 in each server container.

---
 server/bin/start.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/bin/start.sh b/server/bin/start.sh
index b3a60fd..e7d097c 100755
--- a/server/bin/start.sh
+++ b/server/bin/start.sh
@@ -3,7 +3,7 @@
 # Set PS1 so we know we're in the container, should we exec into it.
 cat > .bashrc <<EOF
 alias ls='ls --color'
-export PS1="${debian_chroot:+($debian_chroot)}\u@dz-server:\w\$ "
+export PS1="${debian_chroot:+($debian_chroot)}\u@dz-server${SERVER_ID}:\w\$ "
 unset DEVELOPMENT
 EOF