I\'m using ubuntu 20.04, and I want to modify the font of terminal, so I add the Monaco font for ubuntu. Actually it\'s successful, I can see this font in some
