According to this manual I tried to set the proxy extension.
In my_prof_dir/extensions
there was my already installed and working (unpacked) extension named my_guid.xpi.
I created a file named my_guid
and the content was "path_to_my_extension_directory". I deleted my_guid.xpi
and restarted Firefox. After restart Firefox deleted my_guid
file
and extension is not installed any more.
Should I do something different?
version: Firefox 8.0
thank you