Rated 4 out of 5 stars

by Matthieu Codron on Aug. 20, 2013 · permalink

This is a great extension, deserving a frequent need.

As an addition, it would be useful to allow profile switching from the developer bar (with a command such as "profileSwitch <profname> [(boolean)quit current profile]")

I'd love to try to add this functionality myself, but I was not able to find the sources…