gnome-shell-extension-disconnect-wifi