Keyboard shortcut to gnome-settings
Fix broken colors for git dirty; turn on busy prompt
Utility to copy the path of a file