Yes you can, but then you won't be able to uninstall the plugin automatically (the files installed in /usr/local/) i.e. when Ubuntu gets the fixed version. It's not a big problem, and if you don't have too many things in there you should be able to delete it manually when needed.

I have not well understood. It may be better (for my case) to uninstall the plugin and wait that it's populated in ubuntu ppa's. I use http://ppa.launchpad.net/geany-dev/ppa/ubuntu. If so, can you explain me how to uninstall and BYW congrats for solving the bug and thanks for all your time and explanations. I use Geany to build websites http://run.as and http://edlo.eu and it's very useful!

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.