Grep through a \n terminated list of people and phone extensions

Telephone list lookup

# Quick Bash function lookup for telephone extensions

tel() {
    list=~/usr/share/phone-extensions.txt
    if [ ! $1 ]
    then
        # Show all if no argument specified                                     
        cat $list | less
    else
        # Use agrep if available
        type -p agrep &>/dev/null && grepper="agrep -1" || grepper="grep"       
        echo "$grepper -i $* $list" | bash -;
    fi
}