From c2532aac786afeb667ad92ce4a977ba4b140ec1f Mon Sep 17 00:00:00 2001 From: asami Date: Fri, 30 Jul 1999 05:51:04 +0000 Subject: Little script to convert ports/INDEX to packages/INDEX. --- Tools/portbuild/scripts/chopindex | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100755 Tools/portbuild/scripts/chopindex diff --git a/Tools/portbuild/scripts/chopindex b/Tools/portbuild/scripts/chopindex new file mode 100755 index 000000000000..feffb55ada19 --- /dev/null +++ b/Tools/portbuild/scripts/chopindex @@ -0,0 +1,13 @@ +#!/bin/sh +if [ $# != 2 ]; then + echo "usage: chopindex " + return 1 +fi +index=$1 +pkgdir=$2 +/usr/bin/awk -v FS="|" -v pkgdir=$pkgdir '{ + if (system(sprintf("test ! -e %s/All/%s.tgz\n", pkgdir, $1))) + print $0 ; +}' $index | \ + sed -e 's/XFree86-3\.3\.4//g' -e 's/Motif-2\.1\.10//g' \ + -e 's/ */ /g' -e 's/| /|/g' -e 's/ |/|/g' -- cgit