also allow EESSI versions like YYYYMMDD

Author: bedroge

scripts/ingest-tarball.sh

@@ -73,7 +73,7 @@ function check_version() {
 
     # Check if the EESSI version number encoded in the filename
     # is valid, i.e. matches the format YYYY.DD
-    if ! echo "${version}" | egrep -q '^20[0-9][0-9]\.(0[0-9]|1[0-2])$'
+    if ! echo "${version}" | egrep '(^20[0-9][0-9]\.(0[0-9]|1[0-2])$)|(^20[0-9][0-9][0-9][0-9][0-9][0-9]$)'
     then
         error "${version} is not a valid EESSI version."
     fi