On 10/05/2018 18:25, Jack wrote: > Below is one of the scripts I use to do this, but right now, I suspect > it may need further changes to completely avoid using installed files > instead of newly compiled versions.
Ah, thanks, that's a start ! I'm only concerned about plugins, I don't intend to change icons or anything else, so it's not a problem if system ones are used, or even if the icon isn't displayed correctly. I'll try this. regards, -- Thomas Capricelli <or...@freehackers.org> http://www.freehackers.org/thomas/