no_comment

1 files changed, 0 insertions, 23 deletions

diff --git a/rpmf b/rpmf
deleted file mode 100755
index 235c4903..00000000
--- a/rpmf
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/bin/sh
-
-if [ "$#" -gt 1 ] || [ "$1" = "-h" ] || [ "$1" = "--help" ]; then
-    echo "usage: rpmf [<file>]"
-    exit 1
-fi
-
-dir="/var/lib/urpmi"
-
-
-if ls $dir/hdlist.*.gz >/dev/null 2>/dev/null; then
-    found=1
-    gzip -dc $dir/hdlist.*.gz | hdlist2files - | grep -E "$1"
-fi
-if ls $dir/hdlist.*.cz2 >/dev/null 2>/dev/null; then
-    found=1
-    bzip2 -dc $dir/hdlist.*.cz2 2>/dev/null | hdlist2files - | grep -E "$1"
-fi
-if [ "$found" != "1" ]; then
-    echo "urpmi is not installed"
-    exit 1
-fi
-