change jedi's config