better implementation for sound driver restart

at least it is according to the internet, since i cannot test it on my current ubuntu release.

diff --git a/scripts/core/functions.sh b/scripts/core/functions.sh
index 7068cc9c0a12292a4b413f6613eac2d62f097270..b477db18de989195e0ed8c6afefc2357cbde4837 100644 (file)
--- 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
 
   }