#1232 Issues with /menu ADD "$NICK/...", how to specify nickname?

[Andrew Ruthven]

Hi,

If I try and run:
/menu ADD "$NICK/Print Nick" "msg puck Foo %s"

(Where puck is my IRC nick),

Then right clicking on another users nick, and selecting "Print Nick" should send me a message with "Foo <their nick>". I only get "Foo".

How can I get their nickname?

Cheers!

[Peter Zelezny.]

Logged In: YES
user_id=5012
Originator: NO

Works for me. Upgrade maybe?

[Peter Zelezny.]

Logged In: YES
user_id=5012
Originator: NO

It was fixed in May 2007.

[Andrew Ruthven]

Logged In: YES
user_id=10660
Originator: YES

Ah, cool thanks.

I'm running Debian unstable, so I've just updated http://bugs.debian.org/410483 to try and get an indication of when it might appear.

Is there any chance of updating the plugin20.html to mention the use of %s?

Cheers!