change theme in terminal. Make sure local setting can't overwrite repo's setting.