mirror of
https://github.com/DSpace/DSpace.git
synced 2025-10-07 01:54:22 +00:00
Ensure "host" command is installed in images, so "bin/make-handle-config" will work.
This commit is contained in:
@@ -58,6 +58,11 @@ ENV DSPACE_INSTALL=/dspace
|
||||
# Copy the /dspace directory from 'ant_build' container to /dspace in this container
|
||||
COPY --from=ant_build /dspace $DSPACE_INSTALL
|
||||
WORKDIR $DSPACE_INSTALL
|
||||
# Need host command for "[dspace]/bin/make-handle-config"
|
||||
RUN apt-get update \
|
||||
&& apt-get install -y --no-install-recommends host \
|
||||
&& apt-get purge -y --auto-remove \
|
||||
&& rm -rf /var/lib/apt/lists/*
|
||||
# Expose Tomcat port
|
||||
EXPOSE 8080
|
||||
# Give java extra memory (2GB)
|
||||
|
@@ -57,6 +57,11 @@ ENV DSPACE_INSTALL=/dspace
|
||||
# Copy the /dspace directory from 'ant_build' container to /dspace in this container
|
||||
COPY --from=ant_build /dspace $DSPACE_INSTALL
|
||||
WORKDIR $DSPACE_INSTALL
|
||||
# Need host command for "[dspace]/bin/make-handle-config"
|
||||
RUN apt-get update \
|
||||
&& apt-get install -y --no-install-recommends host \
|
||||
&& apt-get purge -y --auto-remove \
|
||||
&& rm -rf /var/lib/apt/lists/*
|
||||
# Expose Tomcat port and debugging port
|
||||
EXPOSE 8080 8000
|
||||
# Give java extra memory (2GB)
|
||||
|
Reference in New Issue
Block a user