customizations to linux mint (to help me remember)