relpipe-data/download.xml
branchv_0
changeset 199 d185f856c49f
parent 197 bba7480e0600
child 205 076cd1f756ef
--- a/relpipe-data/download.xml	Sat Dec 08 20:18:19 2018 +0100
+++ b/relpipe-data/download.xml	Sat Dec 08 20:19:03 2018 +0100
@@ -33,7 +33,13 @@
 		</p>
 		
 		<p>
-			n.b. it might be a bit difficult to compile them, please stay tuned for v0.8, where the build process will be properly documented
+			All of them can be later updated using:
+		</p>
+		
+		<m:pre jazyk="bash"><![CDATA[ls -1d relpipe-* | while read r; do hg pull --update --repository "$r"; done]]></m:pre>
+		
+		<p>
+			n.b. currently it might be a bit difficult to compile them, please stay tuned for v0.8, where the build process will be properly documented
 		</p>
 		
 	</text>