relpipe-data/examples.xml
branchv_0
changeset 241 f71d300205b7
parent 240 d81c623de788
child 244 d4f401b5f90c
equal deleted inserted replaced
240:d81c623de788 241:f71d300205b7
   815 			Some tools like GNU Wget use extended attributes to store metadata like the original URL from which the file was downloaded.
   815 			Some tools like GNU Wget use extended attributes to store metadata like the original URL from which the file was downloaded.
   816 		</p>
   816 		</p>
   817 		
   817 		
   818 		<m:pre jazyk="bash"><![CDATA[wget --recursive --level=1 https://relational-pipes.globalcode.info/
   818 		<m:pre jazyk="bash"><![CDATA[wget --recursive --level=1 https://relational-pipes.globalcode.info/
   819 find -type f -printf '%P\0' \
   819 find -type f -printf '%P\0' \
   820 	| relpipe-in-filesystem --file path --file size --xattr user.xdg.origin.url  \
   820 	| relpipe-in-filesystem --file path --file size --xattr xdg.origin.url  \
   821 	| relpipe-out-tabular
   821 	| relpipe-out-tabular
   822 ]]></m:pre>
   822 ]]></m:pre>
   823 
   823 
   824 		<p>And now we know, where the files on our disk came from:</p>
   824 		<p>And now we know, where the files on our disk came from:</p>
   825 
   825 
   826 		<pre><![CDATA[filesystem:
   826 		<pre><![CDATA[filesystem:
   827  ╭───────────────────────────┬────────────────┬────────────────────────────────────────────────────────────────────╮
   827  ╭───────────────────────────┬────────────────┬────────────────────────────────────────────────────────────────────╮
   828  │ path             (string) │ size (integer) │ user.xdg.origin.url                                       (string) │
   828  │ path             (string) │ size (integer) │ xdg.origin.url                                            (string) │
   829  ├───────────────────────────┼────────────────┼────────────────────────────────────────────────────────────────────┤
   829  ├───────────────────────────┼────────────────┼────────────────────────────────────────────────────────────────────┤
   830  │ index.html                │          12159 │ https://relational-pipes.globalcode.info/v_0/                      │
   830  │ index.html                │          12159 │ https://relational-pipes.globalcode.info/v_0/                      │
   831  │ v_0/atom.xml              │           4613 │ https://relational-pipes.globalcode.info/v_0/atom.xml              │
   831  │ v_0/atom.xml              │           4613 │ https://relational-pipes.globalcode.info/v_0/atom.xml              │
   832  │ v_0/rss.xml               │           4926 │ https://relational-pipes.globalcode.info/v_0/rss.xml               │
   832  │ v_0/rss.xml               │           4926 │ https://relational-pipes.globalcode.info/v_0/rss.xml               │
   833  │ v_0/js/skript.js          │           2126 │ https://relational-pipes.globalcode.info/v_0/js/skript.js          │
   833  │ v_0/js/skript.js          │           2126 │ https://relational-pipes.globalcode.info/v_0/js/skript.js          │