> 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 or view it on GitHub: https://github.com/geany/geany-plugins/issues/442#issuecomment-226470133
