# .ircrc
#
set novice off
set show_channel_names on

# set ISO-8859-1 characterset as default
set eight_bit_characters on
set translation latin_1

# timestamp messages
/on ^public * echo [$mid(11 5 $stime($time()))] <$0> $2-
/on ^public_other * echo [$mid(11 5 $stime($time()))] <$0:$1> $2-
/on ^msg * echo [$mid(11 5 $stime($time()))] *$0* $1-

# eof
