resolved_issues/741573_menu_systems/run_vote.sh

   1 #!/bin/sh
   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' \
   9     --default-option 'Z' \
  10     --quorum 2 \
  11     << EOF
  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
  19 EOF