Changeset 411 for trunk/push-web

Timestamp:

Jan 28, 2020, 4:45:14 PM (5 years ago)

Author:

g7moreau

Message:

• error in digit glob

File:

• trunk/push-web (modified) (4 diffs)

trunk/push-web

@@ -65 +65 @@
 
 old_switch_db=$((echo 'command <tt>klask exportsw --format txt</tt>';
-      (cd ${TMP}/; ls -1 switch-db.20[[0-9]][[0-9]]-[[0-9]][[0-9]]-[[0-9]][[0-9]].[[0-9]][[0-9]]-[[0-9]][[0-9]].txt;) \
+      (cd ${TMP}/; ls -1 switch-db.20[0-9][0-9]-[0-9][0-9]-[0-9][0-9].[0-9][0-9]-[0-9][0-9].txt;) \
       | sed -e 's/^switch-db\.//; s/\.txt$//;' \
       | xargs -r -I {} printf "<a href=\"switch-db.%s.txt\">%s</a>\n" '{}' '{}' \
@@ -72 +72 @@
 
 old_switch_map=$((echo 'graphviz';\
-      (cd ${TMP}/; ls -1 switch-map.20[[0-9]][[0-9]]-[[0-9]][[0-9]]-[[0-9]][[0-9]].[[0-9]][[0-9]]-[[0-9]][[0-9]].txt;) \
+      (cd ${TMP}/; ls -1 switch-map.20[0-9][0-9]-[0-9][0-9]-[0-9][0-9].[0-9][0-9]-[0-9][0-9].txt;) \
       | sed -e 's/^switch-map\.//; s/\.txt$//;' \
       | xargs -r -I {} printf "<a href=\"switch-map.%s.txt\">%s</a>\n" '{}' '{}' \
@@ -286 +286 @@
       ${TMP}/*-db.txt \
       ${TMP}/switch-map.txt \
-      ${TMP}/*.20[[0-9]][[0-9]]-[[0-9]][[0-9]]-[[0-9]][[0-9]].[[0-9]][[0-9]]-[[0-9]][[0-9]].txt \
+      ${TMP}/*.20[0-9][0-9]-[0-9][0-9]-[0-9][0-9].[0-9][0-9]-[0-9][0-9].txt \
       ${REMOTE_FOLDER}/
 
@@ -301 +301 @@
       ${TMP}/*-db.txt \
       ${TMP}/switch-map.txt \
-      ${TMP}/*.20[[0-9]][[0-9]]-[[0-9]][[0-9]]-[[0-9]][[0-9]].[[0-9]][[0-9]]-[[0-9]][[0-9]].txt \
+      ${TMP}/*.20[0-9][0-9]-[0-9][0-9]-[0-9][0-9].[0-9][0-9]-[0-9][0-9].txt \
       ${REMOTE_USER}@${REMOTE_SERVER}:${REMOTE_FOLDER}/