Problem programming wirelessly using Mint Linux

I'm just getting going with my new YUN - I've gone thru the setup steps and the yun is on my wireless network (also did the image upsate on the yun) and my linux box is on the same wireless network.

I can get to the yun via the browser and the yun.local in the URL and I can congig the yun via the browser.

But I cannot see the yun in the IDE which is version 1:1.0.5+dfsg2-1 ------

From the yun playground ---- Open the Arduino IDE. Under the Tools > Port menu, you should see an entry that lists your Yún's name and its IP address. Under the Board menu, select Arduino Yún.

I do not see the yun or its IP listed ---- any ideas on this ? THANKS MUCH

IDE version 1.0.x does NOT support the yun. Please download one from the 1.5.x series from http://arduino.cc/en/Main/Software#toc3

Thanks for your reply - but I think I found an issue with the 1.5.7 software distribution for 32bit Linux.

I did indeed download and install the 1.5.7 Linux 32bit IDE --- but it does not show up as 1.5.7 in the launched IDE. I went ahead and inatalled the Windows 1.5.7 IDE on my ancient XP laptop and indeed it launches as Arduino 1.5.7 across the top of the IDE window. THe Linux IDE launches and displays Arduino 1:1.0.5+dfsg2-1 as I noted below ---- have to make a report somewhere here

HW_Hack:
THe Linux IDE launches and displays Arduino 1:1.0.5+dfsg2-1 as I noted below

If that's the version you're seeing, you're using an old IDE. Use latest from 1.5. At the time of writing is 1.5.7