From b3ef154513d73e94aba944dd9e5c336eba600f73 Mon Sep 17 00:00:00 2001 From: Didier Raboud Date: Wed, 2 Sep 2015 09:01:19 +0200 Subject: [PATCH] Add pocket_devotee script with the votes so far --- 741573_menu_systems/run_vote.sh | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100755 741573_menu_systems/run_vote.sh diff --git a/741573_menu_systems/run_vote.sh b/741573_menu_systems/run_vote.sh new file mode 100755 index 0000000..61d76a4 --- /dev/null +++ b/741573_menu_systems/run_vote.sh @@ -0,0 +1,15 @@ +#!/bin/sh +echo "Debian Menu systems" +../scripts/pocket-devotee \ + --option 'A: adopt changes proposed by Charles Plessy (…)' \ + --option 'B: consider that the procedure resulted in consensus, and adopt changes proposed by Charles Plessy (…)' \ + --option 'C: adopt changes proposed by Bill Allombert (…)' \ + --option 'D: adopt changes proposed by Charles Plessy, additionally resolve that packages providing a .desktop file shall not also provide a menu file (…)' \ + --option 'Z: Further Discussion' \ + --default-option 'Z' \ + --quorum 6 \ + << EOF +hartmans: D > B > A > Z > C +don: D > A = B > C > Z +tfheen: D > A = B > Z > C +EOF -- 2.39.5