diff --git a/jetty/Dockerfile b/jetty/Dockerfile index 881027f91..fc3e50d05 100644 --- a/jetty/Dockerfile +++ b/jetty/Dockerfile @@ -14,4 +14,6 @@ RUN mkdir -p /opt/cprof && \ USER jetty EXPOSE 8080 -ENTRYPOINT ["/bin/sh", "/start.sh"] +# jetty:12-jdk21 has bash. We can afford the extra 200M in image size over +# the -alpine flavor. +ENTRYPOINT ["/bin/bash", "/start.sh"] diff --git a/jetty/start.sh b/jetty/start.sh index 988367e81..84b2c123f 100755 --- a/jetty/start.sh +++ b/jetty/start.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Copyright 2024 The Nomulus Authors. All Rights Reserved. # # Licensed under the Apache License, Version 2.0 (the "License");