Update for 07-11-21 19:00
This commit is contained in:
parent
903550b843
commit
7cda35e63f
@ -104,7 +104,7 @@ Rename push all .png files through convert
|
|||||||
|
|
||||||
{{{
|
{{{
|
||||||
for file in *.png; do
|
for file in *.png; do
|
||||||
convert $$file "$${file%.png}.eps"
|
convert $file "${file%.png}.eps"
|
||||||
done
|
done
|
||||||
}}}
|
}}}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user