Docker: Test the matching of versions between source and container.

* Also add Dockerfile to some verifications in checklines.sh.
* In DNF installations, move the package "time" from reinstall to install.

Author: randruc

Dockerfile

@@ -48,7 +48,6 @@ RUN dnf reinstall -y \
     gawk \
     grep \
     sed \
-    time \
     && \
     dnf clean all
 
@@ -66,6 +65,7 @@ RUN dnf install -y \
     less \
     make \
     man-db \
+    time \
     && \
     dnf clean all
 

docker/docker_bashrc.sh

@@ -27,3 +27,12 @@ $(uname -a)
   Type 'man Lazuli' to read the documentation.
 
 EOF
+
+if [ "$(cat /~/workspace/VERSION)" != "$(cat /etc/lazuli-version)" ]; then
+    printf "WARNING! You are using the container in version %s whereas your \
+sources are in version %s\n" $(cat /etc/lazuli-version) \
+$(cat /~/workspace/VERSION);
+
+    printf "It is recommended that you pull and run the container in version \
+%s\n\n" $(cat /~/workspace/VERSION);
+fi

scripts/checklines.sh

@@ -23,6 +23,7 @@ grep -nrH \
      --include=*.S \
      --include=*.sh \
      --include=*.txt \
+     --include=Dockerfile \
      --exclude-dir=build \
      --exclude-dir=LICENSES \
      --exclude-dir=_build > $tmp