From 0b89926391b27dcb67fb478913506d0c08128138 Mon Sep 17 00:00:00 2001
From: Chris Koeritz <fred@gruntose.com>
Date: Tue, 14 Nov 2017 12:16:37 -0500
Subject: [PATCH] better implementation for sound driver restart

at least it is according to the internet, since i cannot test it on my current ubuntu release.
---
 scripts/core/functions.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/scripts/core/functions.sh b/scripts/core/functions.sh
index 7068cc9c..b477db18 100644
--- a/scripts/core/functions.sh
+++ b/scripts/core/functions.sh
@@ -307,12 +307,18 @@ if [ -z "$skip_all" ]; then
     done
   }
   
+#hmmm: not really doing anything yet; ubuntu seems to have changed from pulseaudio in 17.04?
   # restarts the sound driver.
   function fix_sound_driver() {
-#if something
+    # stop bash complaining about blank function body.
+    local nothing=
+#if alsa something
 #    sudo service alsasound restart
+#elif pulse something
+#    sudo pulseaudio -k
+#    sudo pulseaudio -D
 #else
-    sudo service pulseaudio restart
+#    something else...?
 #fi
 
   }
-- 
2.34.1