Here’s how to install and use gnomenu, an alternate menu for gnome desktop in Linux Mint/Ubuntu: 1. Issue the following command at the terminal –...