A small python script to edit preference files from the command line