Make script more succint

adap · Nov 23, 2023 · 7850a54 · 7850a54
1 parent e922c6b
commit 7850a54
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/dev/update-examples.sh b/dev/update-examples.sh
@@ -26,9 +26,7 @@ for d in $(printf '%s\n' */ | sort -V); do
   # For each example, copy all images of the _static folder into the examples
   # docs static folder
   [[ $example != doc ]] && [ -d "$example/_static" ] && {
-    cp $example/_static/**.jpg $ROOT/examples/doc/source/_static/ 2>/dev/null || true
-    cp $example/_static/**.png $ROOT/examples/doc/source/_static/ 2>/dev/null || true
-    cp $example/_static/**.jpeg $ROOT/examples/doc/source/_static/ 2>/dev/null || true
+    cp $example/_static/**.{jpg,png,jpeg} $ROOT/examples/doc/source/_static/ 2>/dev/null || true
   }
   # For each example, insert the name of the example into the index file
   [[ $example != doc ]] && (echo $INSERT_LINE; echo a; echo $example; echo .; echo wq) | ed $INDEX 2>&1 >/dev/null