gnome-shell-extension-gpu-profile-selector: gnome-shell-extension-gpu-profile-selector (GPU Profile Selector)
gnome-shell-extension-gpu-profile-selector:
gnome-shell-extension-gpu-profile-selector: A simple gnome shell extension which provides a simple way 
gnome-shell-extension-gpu-profile-selector: to switch between GPU profiles on Nvidia Optimus systems 
gnome-shell-extension-gpu-profile-selector: (i.e laptops with Intel + Nvidia or AMD + Nvidia configurations) 
gnome-shell-extension-gpu-profile-selector: in a few clicks. In particular this extension is a graphic  
gnome-shell-extension-gpu-profile-selector: interface for envycontrol program.
gnome-shell-extension-gpu-profile-selector:
gnome-shell-extension-gpu-profile-selector:
gnome-shell-extension-gpu-profile-selector: https://github.com/LorenzoMorelli/GPU_profile_selector
gnome-shell-extension-gpu-profile-selector: