YUN wifi com port not found

I have just started to "play" with the YUN, following the guide instruction of the relevant section of Arduino site. Eveything was fine and Iwas able to see the YUN via the browser in my PC (ubuntu 13.xx based). The issue start when I try to program the 32u4 over wifi becouse in the Arduino IDE, under the Tools > Port menu, I do not see an entry that lists my Yún's name and its IP addres. Moreover under the Board menu, there is not the Arduino Yún. Someone has already faced the problem and has some suggestion? Thank You in advance

Is it just a problem on the ide release l'm using?

i have the some problem.

Can someone help us?

You should use Arduino IDE 1.5.4 or higher for Yun to be shown under board menu