This repository has been archived on 2024-06-18. You can view files and clone it, but cannot push or open issues/pull-requests.
2017-08-28 23:51:44 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
if [ "$FONT" = "" ]
|
|
|
|
then
|
|
|
|
FONT=/usr/share/fonts/truetype/ubuntu-font-family/UbuntuMono-R.ttf
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo "font : $FONT"
|
|
|
|
|
|
|
|
for i in *\.diag
|
|
|
|
do
|
|
|
|
PNG=$(echo ${i} | sed "s/diag$/pdf/")
|
|
|
|
|
|
|
|
if [ ! -f ${PNG} ] || [ $(stat -c "%X" ${PNG}) -lt $(stat -c "%X" ${i}) ]
|
|
|
|
then
|
|
|
|
|
|
|
|
echo seqdiag ${i}
|
|
|
|
seqdiag -Tpdf -a -f $FONT ${i}
|
|
|
|
|
|
|
|
echo touch ${PNG}
|
|
|
|
touch ${PNG}
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
|
2017-09-03 15:11:16 +02:00
|
|
|
PKTDIAG=pktdiag
|
|
|
|
for i in *\.$PKTDIAG
|
|
|
|
do
|
|
|
|
PNG=$(echo ${i} | sed "s/$PKTDIAG$/pdf/")
|
|
|
|
|
|
|
|
if [ ! -f ${PNG} ] || [ $(stat -c "%X" ${PNG}) -lt $(stat -c "%X" ${i}) ]
|
|
|
|
then
|
|
|
|
|
|
|
|
echo seqdiag ${i}
|
|
|
|
packetdiag -Tpdf -a -f $FONT ${i}
|
|
|
|
|
|
|
|
echo touch ${PNG}
|
|
|
|
touch ${PNG}
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
|
2017-08-28 23:51:44 +02:00
|
|
|
# GDOT="gviz-dot"
|
|
|
|
# for i in *\.$GDOT
|
|
|
|
# do
|
|
|
|
# PDF=$(echo ${i} | sed "s/$GDOT$/pdf/")
|
|
|
|
#
|
|
|
|
# if [ ! -f ${PDF} ] || [ $(stat -c "%X" ${PDF}) -lt $(stat -c "%X" ${i}) ]
|
|
|
|
# then
|
|
|
|
#
|
|
|
|
# echo dot ${i}
|
|
|
|
# dot -Tpdf ${i} > ${PDF}
|
|
|
|
#
|
|
|
|
# echo touch ${PDF}
|
|
|
|
# touch ${PDF}
|
|
|
|
# fi
|
|
|
|
# done
|