#!/bin/bash

gsettings set org.gnome.shell disable-user-extensions false