Guida avanzata di scripting Bash - Portale Posta DMI

fi
Appendice A. Script aggiuntivi
printf ’ A%04u [label="%s"] ;\n’ \
"${_dd}" "${known_address[${_dd}]}" >>${_dot_file}
done
echo >>${_dot_file}
echo ’/*’ >>${_dot_file}
echo ’ * Known relationships :: User conversion to’ >>${_dot_file}
echo ’ * graphic form by hand or program required.’ >>${_dot_file}
echo ’ *’ >>${_dot_file}
if [ ${#auth_chain[@]} -gt 0 ]
then
echo >>${_dot_file}
echo ’# Authority reference edges followed and field source.’ >>${_dot_file}
dump_to_dot auth_chain AC
fi
if [ ${#ref_chain[@]} -gt 0 ]
then
echo >>${_dot_file}
echo ’# Name reference edges followed and field source.’ >>${_dot_file}
dump_to_dot ref_chain RC
fi
if [ ${#name_address[@]} -gt 0 ]
then
echo >>${_dot_file}
echo ’# Known name->address edges’ >>${_dot_file}
dump_to_dot name_address NA
fi
if [ ${#name_srvc[@]} -gt 0 ]
then
echo >>${_dot_file}
echo ’# Known name->service edges’ >>${_dot_file}
dump_to_dot name_srvc NS
fi
if [ ${#name_resource[@]} -gt 0 ]
then
echo >>${_dot_file}
echo ’# Known name->resource edges’ >>${_dot_file}
dump_to_dot name_resource NR
fi
if [ ${#parent_child[@]} -gt 0 ]
then
echo >>${_dot_file}
echo ’# Known parent->child edges’ >>${_dot_file}
dump_to_dot parent_child PC
fi
683