1 files changed, 25 insertions, 0 deletions

diff --git a/public/menu/redimensionnement.sh b/public/menu/redimensionnement.sh
new file mode 100755
index 0000000..fb78510
--- /dev/null
+++ b/public/menu/redimensionnement.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+a=0
+
+b=".jpg"
+for a in `ls | grep $b`
+do
+    # retire l'extention
+    a=`echo $a | cut -f1 -d'.'`
+    
+    # les guillemets permettent la concaténation
+    magick $a$b -scale 76% "$a"_petit"$b"
+    magick $a$b -scale 50.5% "$a"_mini"$b"
+done
+
+b=".png"
+for a in `ls | grep $b`
+do
+    # retire l'extention
+    a=`echo $a | cut -f1 -d'.'`
+    
+    # les guillemets permettent la concaténation
+    magick $a$b -scale 76% "$a"_petit"$b"
+    magick $a$b -scale 50.5% "$a"_mini"$b"
+done