comparison bin/newpipe @ 0:2aa53823fb21

new repo
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Sat, 06 Jun 2026 10:19:04 +0100
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:2aa53823fb21
1 #!/bin/bash
2 date=$(date +"%e %b %Y")
3 d=/home/ht/lib/xml/
4 p=$(pwd)/
5 while :
6 do
7 dd=${d#/*}
8 pp=${p#/*}
9 x=${dd%%/*}
10 y=${pp%%/*}
11 if [ "$x" != "$y" ]
12 then
13 path=$(echo $pp | sed 's/[^/][^/]*/../g')$dd
14 break
15 fi
16 d=${dd#*/}
17 p=${pp#*/}
18 done
19 cat << EOF
20 <?xml version='1.0'?>
21 <!DOCTYPE p:pipeline SYSTEM "${path}xproc.dtd" [
22 <!ATTLIST p:pipeline xmlns:c CDATA #IMPLIED>
23 ]>
24 <p:pipeline xmlns:p="http://www.w3.org/ns/xproc" xmlns:c="http://www.w3.org/ns/xproc-step">
25 <!-- Created: ${date} -->
26 </p:pipeline>
27 EOF