#!/bin/bash
#
# egrep_of
#
# egrep Filter auf Datei
# Wenn die Datei gepackt ist, dann wird sie vorher entpackt (.xz, .gz und .bz2)
##############################################################################
#
exec 2>&1
#
if [ $# -ne 2 ]
 then
  echo "usage: $0 <file> <regexp>"
  exit 1
fi
#
if [ "${1##*.}" = "gz" ]
 then
  gunzip -c "$1" | egrep "$2"
elif [ "${1##*.}" = "xz" ]
 then
  unxz -c "$1" | egrep "$2"
elif [ "${1##*.}" = "bz2" ]
 then
  bunzip2 -c "$1" | egrep "$2"
else
  egrep "$2" "$1"
fi
