Add option to force removing Dockerfile.stfubuntu

.jenkins.sh

 #!/bin/bash
-# Copyright ETSI 2018
+# Copyright ETSI 2018-2021
 # See: https://forge.etsi.org/etsi-forge-copyright-statement.txt
 
 set -vx
@@ -11,5 +11,5 @@ run_dir=`pwd`
 
 # Docker version 2
 cd docker
-./build.sh
+./build.sh --force-stfubuntu
 #./run.sh

docker/build.sh

 #!/bin/bash
-# Copyright ETSI 2018-2020
+# Copyright ETSI 2018-2021
 # See: https://forge.etsi.org/etsi-forge-copyright-statement.txt
 
 set -e
 set -vx
 
-#check and build stfubuntu image
+if [ "$1" == "--force-stfubuntu"]
+then
+    doker rmi `docker images -q stfubuntu`
+fi
+# Check and build stfubuntu image
 if [ -z `docker images -q stfubuntu` ]; then
-  docker build --no-cache --tag stfubuntu:18.04 -f Dockerfile.stfubuntu --force-rm  . || exit 1
+    docker build --no-cache --tag stfubuntu:18.04 -f Dockerfile.stfubuntu --force-rm  . || exit 1
 fi
 
 docker build --no-cache --tag ttf_t012_mec --force-rm  . || ( echo "Docker build failed: $?"; exit 1 )

docker/home/etc/init.d/10-titan.sh

@@ -27,16 +27,6 @@ GEN_PDF=no
 JDKDIR=$JAVA_HOME
 EOF
 
-
-echo -e "##########################################################"
-if [ -f /usr/include/editline/readline.h ]
-then
-    head /usr/include/editline/readline.h
-else
-    echo -e "==> Missing editline package?????"
-fi
-echo -e "##########################################################"
-
 make && make install || exit 1
 
 # To be compiant with build_ttcn3.bash