#!/bin/bash grepip () { grep --color=auto -Eo $IP_REG $@ | sortu } grepip "$@"