ignorecommand saves ignore-tokens in the correct config file