#!/bin/bash
# Set certain configuration options in gnome
# because the cult of simple design has gone too far
# Works for budgie wm on Ubuntu 17.10 as well

# Restore menu icons
gsettings set org.gnome.settings-daemon.plugins.xsettings overrides "{'Gtk/ButtonImages': <1>, 'Gtk/MenuImages': <1>}"

# To reduce GNOME 3 titlebar height
cp gtk.css ~/.config/gtk-3.0/gtk.css

# Restart gnome shell - manually with  alt+f2, type r and press return (not in budgie)
gnome-shell --replace