You can also put these into settings.json.