Don't have an account?
Gnome shell extension for quickly setting named profiles as the default
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Thanks. Newer version approved.