change font setting under linux