How to Turn GNOME terminal to a Pop-up Terminal By Eric Ma | In Linux, Software, Tutorial | Updated on Aug 30, 2020