Trimming characters - mIRC Discussion Forums

mIRC Homepage

Hello,
I play a game called "minecraft" and there is an IRC plugin for it and when people talk on the server a bot relays it back to the IRC with there name like:

(duke605) hello people

now im wondering if i can trim the ends of $1 or (duke605) so it shows up as duke605 instead of (duke605)

This is easily done with a script.
Presuming that your information is correct, then this should do what you want.

Code:

on ^*:text:*:#:{
  .echo $chan $remove($1,$chr(40),$chr(41)) $2-
  haltdef
}

NOTE: This will produce the same type of output no matter what the text is and no matter what channel.