profilemanager
Simple ui to manage different menu profiles on a system
RUN apt-get update && \
apt-get install -y edubuntu-menueditor
Simple ui to manage different menu profiles on a system
RUN apt-get update && \
apt-get install -y edubuntu-menueditor