profilemanager

Simple ui to manage different menu profiles on a system

Ubuntu
RUN apt-get update && \ apt-get install -y edubuntu-menueditor
click the source code to copy install profilemanager on any operating system with command-not-found.com