diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2000-03-31 14:44:41 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2000-03-31 14:44:41 +0000 |
commit | 60002eef0eb1e4002135b6bf16c67d692c8dd746 (patch) | |
tree | 7048c08b4cc4dc00ab2225fe258b574bc5a53c97 /rpmf | |
parent | 64f720ff50491bf8eff620a154d5318ab34912d9 (diff) | |
download | urpmi-60002eef0eb1e4002135b6bf16c67d692c8dd746.tar urpmi-60002eef0eb1e4002135b6bf16c67d692c8dd746.tar.gz urpmi-60002eef0eb1e4002135b6bf16c67d692c8dd746.tar.bz2 urpmi-60002eef0eb1e4002135b6bf16c67d692c8dd746.tar.xz urpmi-60002eef0eb1e4002135b6bf16c67d692c8dd746.zip |
no_comment
Diffstat (limited to 'rpmf')
-rwxr-xr-x | rpmf | 23 |
1 files changed, 0 insertions, 23 deletions
@@ -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 - |