changed terminal font for linux