[Systeme] Monter des disques/clés usb en mode exec

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=330462 Quand ce bug sera résolu, Laurent sera pleinement heureux. En attendant, je peux faire des patchs, mais il me faut du temps libre; ou laurent peut utiliser la méthode indiquée verbalement par moi: - mettre l'appareil dans la connexion usb - attendre qu'il soit automonté - repérer le device utilisé (probablement constant) - faire un pumount /dev/sdb1 (ou autre selon le device) - puis faire un pmount -e /dev/sdb1 Fini.