Это могло бы добиться цели:
compare_dirs()
{
# Shows which files and directories exist in one directory but not both
if [ $# -ne 2 ]
then
echo "Usage: compare_dirs dir1 dir2" >&2
return 2
fi
for path
do
if [ ! -d "$path" ]
then
echo "Not a directory: $path" >&2
return 1
fi
done
comm -3 \
<(cd -- "$1" && find . -printf '%P\0' | sort -z | quote_shell) \
<(cd -- "$2" && find . -printf '%P\0' | sort -z | quote_shell)
}
Я никогда не пробовал pdf2xml, но просматривание его файлов на SourceForge, я нашел vec2svg-2.py, который, кажется, сценарий Python для преобразования .vec файлов в .svg. Вы не должны испытывать никакие затруднения при преобразовании SVG в любой формат, в котором Вы нуждаетесь.
python vec2svg-2.py -i file.vec -o file.svg