Skip to content

Commit c081816

Browse files
authored
fix: Fix missing pipefail (#73)
1 parent 9d2165e commit c081816

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/dockerfiles/ubuntu-2204-lts/Dockerfile

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -116,6 +116,8 @@ RUN apt-get update --yes && \
116116

117117
USER ${GAP_USER_USERNAME}
118118

119+
SHELL ["/bin/bash", "-o", "pipefail", "-c"]
120+
119121
RUN mkdir -pv "$HOME/.gap/pkg"
120122
COPY --chown=${GAP_USER_USERNAME}:${GAP_USER_GROUPNAME} --from=buildbare "${GAP_USER_HOMEDIR}/gap-${GAP_VERSION}/" "${GAP_USER_HOMEDIR}/gap-${GAP_VERSION}//"
121123
ADD --chown=${GAP_USER_USERNAME}:${GAP_USER_GROUPNAME} ${PACKAGE_MANAGER_DOWNLOAD_URL} ./

0 commit comments

Comments
 (0)