File indexing completed on 2024-04-14 14:26:30
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