sudo add-apt-repository ppa:webupd8team/mintmenu
sudo apt-get update
sudo apt-get install mintmenu
killall gnome-panel
MintMenu is also available in the main WebUpd8 PPA!
Author: Andrew | Posted:
sudo add-apt-repository ppa:webupd8team/mintmenu
sudo apt-get update
sudo apt-get install mintmenu
killall gnome-panel
Tagged with: gnome linux linux mint menu mintmenu ubuntu
Yeah good luck with that, Lars. It's now July 2025 and my ISP, a really large one here in The Netherlands (even), offers ip4 only. I do all sorts of NAT64, dns46 stuff to help with that on our...
How To Disable IPv6 In Ubuntu 10.04 Lucid Lynx · 8 hours ago
You are welcome.
...wow, I forgot Disqus exists at this point. Thought I got some fishing email when received a notification in my mailbox. XD
Oracle (Sun) Java 6 Installer Available For Ubuntu And Debian Users [PPA] · 3 months ago
Thanks after 12y, it became faster prepare for java25. :D
Oracle (Sun) Java 6 Installer Available For Ubuntu And Debian Users [PPA] · 3 months ago
It's exciting to see Ubuntu 17.04 (Zesty Zapus) bringing updates to both the underlying system and applications, especially with the inclusion of GNOME 3.24. While Unity and Compiz received...
Ubuntu 17.04 (Zesty Zapus) Available For Download · 3 months ago
And what about 24.04 ?
Get The Ubuntu Touch Feeling On The Unity Desktop With These Launcher Icons · 8 months ago