update linter settings, user preferences