summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2021-01-29 21:36:12 +0100
committerErich Eckner <git@eckner.net>2021-01-29 21:36:12 +0100
commit915610dc10d67fff49960924066e23071230c2a9 (patch)
treeb79bfe57707be8a0dbe7a739e0159bf537ffa6b8
parentdbe256d09fd7dbeffa18a1c6b90634a1e042655d (diff)
downloadcrux-ports-915610dc10d67fff49960924066e23071230c2a9.tar.xz
wurzel-*/lastVersion.sh: removed, indexining is disabled
-rwxr-xr-xmanualPorts/wurzel-misc/lastVersion.sh8
-rwxr-xr-xmanualPorts/wurzel-mp/lastVersion.sh8
-rwxr-xr-xmanualPorts/wurzel-style/lastVersion.sh8
-rwxr-xr-xmanualPorts/wurzel-xml/lastVersion.sh8
4 files changed, 0 insertions, 32 deletions
diff --git a/manualPorts/wurzel-misc/lastVersion.sh b/manualPorts/wurzel-misc/lastVersion.sh
deleted file mode 100755
index ad1ca14..0000000
--- a/manualPorts/wurzel-misc/lastVersion.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash
-
-curl "http://www.wurzel.org/distfiles/" 2> /dev/null | \
- tr '"' '\n' | \
- grep '^wurzel-misc-[0-9.-]*\.tar\.bz2$' | \
- sed 's|^wurzel-misc-\([0-9.-]*\)\.tar\.bz2$|\1|' | \
- sort -V | \
- tail -n1
diff --git a/manualPorts/wurzel-mp/lastVersion.sh b/manualPorts/wurzel-mp/lastVersion.sh
deleted file mode 100755
index 877a519..0000000
--- a/manualPorts/wurzel-mp/lastVersion.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash
-
-curl "http://www.wurzel.org/distfiles/" 2> /dev/null | \
- tr '"' '\n' | \
- grep '^wurzel-mp-[0-9.-]*\.tar\.bz2$' | \
- sed 's|^wurzel-mp-\([0-9.-]*\)\.tar\.bz2$|\1|' | \
- sort -V | \
- tail -n1
diff --git a/manualPorts/wurzel-style/lastVersion.sh b/manualPorts/wurzel-style/lastVersion.sh
deleted file mode 100755
index 89e10f6..0000000
--- a/manualPorts/wurzel-style/lastVersion.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash
-
-curl "http://www.wurzel.org/distfiles/" 2> /dev/null | \
- tr '"' '\n' | \
- grep '^wurzel-style-[0-9.-]*\.tar\.bz2$' | \
- sed 's|^wurzel-style-\([0-9.-]*\)\.tar\.bz2$|\1|' | \
- sort -V | \
- tail -n1
diff --git a/manualPorts/wurzel-xml/lastVersion.sh b/manualPorts/wurzel-xml/lastVersion.sh
deleted file mode 100755
index fdfc72d..0000000
--- a/manualPorts/wurzel-xml/lastVersion.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/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