2 echo "Debian Menu systems"
3 ../scripts/pocket-devotee \
4 --option 'A: adopt changes proposed by Charles Plessy (…)' \
5 --option 'B: consider that the procedure resulted in consensus, and adopt changes proposed by Charles Plessy (…)' \
6 --option 'C: adopt changes proposed by Bill Allombert (…)' \
7 --option 'D: adopt changes proposed by Charles Plessy, additionally resolve that packages providing a .desktop file shall not also provide a menu file (…)' \
8 --option 'Z: Further Discussion' \
12 hartmans: D > B > A > Z > C
13 don: D > A = B > C > Z
14 tfheen: D > A = B > Z > C
15 odyx: D > B > A > Z > C
16 keithp: D > B > A > Z > C
17 bdale: D > A = B > Z > C
18 aba: D > A > Z > B > C