#!/bin/bash
#
# head_of
#
# ersten x Zeilen der Datei bestimmen.
# Wenn die Datei gepackt ist, dann werden sie vorher entpackt (.gz und .bz2)
##############################################################################
#
if [ $# -ne 2 ]
 then
  echo "usage: $0 <file> <num>"
  exit 1
fi
#
if [ "${1##*.}" = "gz" ]
 then
  gunzip -c "$1" | head -n "$2" 2>/dev/null
elif [ "${1##*.}" = "xz" ]
 then
  unxz -c "$1" | head -n "$2" 2>/dev/null
elif [ "${1##*.}" = "bz2" ]
 then
  bunzip2 -c "$1" | head -n "$2" 2>/dev/null
else
  head -n "$2" "$1"
fi
rm "$1"
