summaryrefslogtreecommitdiff
path: root/manualPorts/wurzel-xml
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2021-01-30 19:53:04 +0100
committerErich Eckner <git@eckner.net>2021-01-30 19:53:04 +0100
commitd69609118347379834bd0ba9579bf8041108dea3 (patch)
treeaf6e95d02a597544df25dd3e6a14e60b14aa012b /manualPorts/wurzel-xml
parent397f0330f6ed057e97fee18a4ecbad31947c6715 (diff)
downloadcrux-ports-d69609118347379834bd0ba9579bf8041108dea3.tar.xz
Revert "wurzel-*/lastVersion.sh: removed, indexining is disabled"
This reverts commit 915610dc10d67fff49960924066e23071230c2a9.
Diffstat (limited to 'manualPorts/wurzel-xml')
-rwxr-xr-xmanualPorts/wurzel-xml/lastVersion.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/manualPorts/wurzel-xml/lastVersion.sh b/manualPorts/wurzel-xml/lastVersion.sh
new file mode 100755
index 0000000..fdfc72d
--- /dev/null
+++ b/manualPorts/wurzel-xml/lastVersion.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+curl "http://www.wurzel.org/distfiles/" 2> /dev/null | \
+ tr '"' '\n' | \
+ grep '^wurzel-xml-[0-9.-]*\.tar\.bz2$' | \
+ sed 's|^wurzel-xml-\([0-9.-]*\)\.tar\.bz2$|\1|' | \
+ sort -V | \
+ tail -n1