Rechercher une page de manuel

Chercher une autre page de manuel:

profilemanager

Langue: en

Version: January 29, 2010 (ubuntu - 24/10/10)

Section: 1 (Commandes utilisateur)

NAME

profilemanager - program for applying menu profiles to groups.

SYNOPSIS

profilemanager

DESCRIPTION

This manual page explains the profilemanager program. This program can be used to apply menueditor created profiles to groups of users.

profilemanager apply menu profile to user using desktop-profiles.

FILES

Those directory contains applicable profiles:
/usr/share/edubuntu-menueditor/menus/
/etc/edubuntu-menueditor/

SEE ALSO

menueditor(1), destop-profiles(7)

BUGS

Please report bugs on launchpad : https://bugs.launchpad.net/menueditor/+filebug
Puis la lumière se fit, (dans les quinze watts, car je ne suis pas riche), et je me dis que l'« at » pouvait être retranché de cette sorte d'égalité. Ainsi, mathématiquement, l'égalité
« À bon ch bon r »
est parfaitement correcte. Et mes quinze watts en firent bientôt vingt-cinq, quand je me mis en devoir d'ajouter des quantités égales et positives, imaginaires ou réelles aux deux termes.
-- Vian, Boris