--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/bin/sd_name.sh Tue Mar 06 20:41:16 2012 -0500
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+BASE="http://dvcs.w3.org/hg/prov/file/tip/examples"
+RAW="http://dvcs.w3.org/hg/prov/raw-file/tip/examples"
+
+for example in `find . -type d -name rdf`; do
+ example="${example#./}"
+ echo
+ for dump in `find $example -name "*.rdf" -or -name "*.ttl" -or -name "*.nt" -or -name "*.trig"`; do
+ dump="${dump#./}"
+ echo " $dump.sd_name"
+ echo "$RAW/$dump" > $dump.sd_name
+ done
+done