Configuring Gnome-Shell from the command line

Here's some useful tricks to automate the configuration of the gnome shell

Ubuntu-Gnome 16.04 on Thinkpad x230

This is mostly for myself, but perhaps someone else might get some ideas from it..

Edit gnome settings with your favorite editor

Using the vipe command, we can read from stdin, edit the contents in the default editor and send it down the pipe.