bash-color-grc/conf.ping

32 lines
448 B
Plaintext

# ip number
regexp=\d{1,3}\.\d{1,3}\.\d{1,3}\.\d{1,3}
colours=magenta
=======
# ipv6 number
regexp=(([0-9a-fA-F]{1,4})?\:\:?[0-9a-fA-F]{1,4})+
colours=magenta
=======
# time
regexp=\d+\.\d+\sms
colours=green
=======
# time
regexp=\d+\sms
colours=green
======
# time
regexp=time=
colours=yellow
=======
# DUP
regexp=DUP\!
colours=red
=======
# (,)
regexp=\(|\)
colours=yellow
=======
# unknown host
regexp=.+unknown\shost\s(.+)
colours=red,bold red