Add jukebox user to audio group in debian setup

[disorder] / debian / postinst.disorder-server

diff --git a/debian/postinst.disorder-server b/debian/postinst.disorder-server
index 222d4f2f205b06f6f34f79f469cf7a0a8f055541..9e516489741f71615102798b518d192e3884b522 100755 (executable)
--- a/debian/postinst.disorder-server
+++ b/debian/postinst.disorder-server
@@ -26,6 +26,9 @@ set -e
 add_jukebox_user() {
   adduser --quiet --system --group --shell /bin/sh --home /var/lib/disorder \
     --no-create-home jukebox
+  # If it happens that there's no audio group we don't fail; perhaps only
+  # network play was required.
+  adduser --quiet jukebox audio || true
 }
 
 configure_init_d() {