Update terminal options with new font.
Add dump from redis to the default ignored files.