File indexing completed on 2023-09-24 08:07:00
0001 #!/bin/sh 0002 0003 for i in *.dia; do echo $i; dia --export=$i.png --filter=png --nosplash $i; done 0004 0005 #for i in *.dia; do echo $i; dia --export=$i.png --export-to-format=png --nosplash $i; done 0006