gnome_shell_install_extension
