Changes to Dockerfile. All files

Dockerfile

@@ -1,25 +1,31 @@-# step 1: create a debian or ubuntu container for ugrep named "ugrep"-# docker -D build --no-cache -t ugrep . #-# step 2: run bash in the container, e.g. to run ugrep from the command line-# docker run -it ugrep bash-# or-# docker run -it --mount type=bind,source=$PWD,target=/mnt ugrep bash+# Dockerfile to build and run ugrep in a container (development environment). #-# step 3: run ugrep in the container, for example:-# ugrep -r -n -tjava Hello ugrep/tests/+# This file creates the environment to build and run ugrep in a container. If+# you just want to use ugrep in a minimal container, use the minimized Dockerfile. +#+# Build the ugrep image:+#   $ docker build -t ugrep .+#+# Execute ugrep in the container (The / of the host is accessible in /mnt directory in the container):+#   $ docker run -v /:/mnt -it ugrep --help+# or run bash in the container instead:+#   $ docker run -v /:/mnt --entrypoint /bin/bash -it ugrep+#   $ ugrep --help -# debian or ubuntu FROM ubuntu  RUN apt-get update -RUN apt-get install -y \+RUN apt-get install -y --no-install-recommends \+    autoconf \+    automake \+    build-essential \+    ca-certificates \+    pkg-config \     make \-    vim \     git \     clang \-    wget \     unzip \     libpcre2-dev \     libz-dev \@@ -29,9 +35,18 @@ RUN apt-get install -y \     libzstd-dev \     libbrotli-dev -RUN cd / && \-    git clone https://github.com/Genivia/ugrep+WORKDIR /ugrep++# Clone ugrep from GitHub+RUN git clone --single-branch --depth=1 https://github.com/Genivia/ugrep /ugrep++# Local build of ugrep+# If you want to build ugrep from a local source, uncomment the following line:+# ADD . /ugrep++RUN autoreconf -fi+RUN ./build.sh+RUN make install+RUN ugrep --version -RUN cd ugrep && \-    ./build.sh && \-    make install+ENTRYPOINT [ "ugrep" ]\ No newline at end of file