sd_name.sh for examples
authorTim L <lebot@rpi.edu>
Tue, 06 Mar 2012 20:41:16 -0500
changeset 1789 84a2079bdefc
parent 1788 aee3f1740f43
child 1790 f359c784d935
sd_name.sh for examples
examples/bin/sd_name.sh
--- /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