Sylvain LE GALL m'a envoyé la solution que je me permet de reproduire ici, ça pourra sans doute resservir: echo \"menu.hook\" > ~/GNUstep/Defaults/WMRootMenu Et voilà, le menu est à nouveau dynamique. Sébastien Kirche