From 78a0a8b9165aee9fe248ed4a08fdca1a95b12a92 Mon Sep 17 00:00:00 2001
From: Simon Long <simon@raspberrypi.com>
Date: Mon, 12 Oct 2020 11:28:43 +0100
Subject: [PATCH] Add function to determine whether PulseAudio is in use

---
 raspi-config | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/raspi-config b/raspi-config
index 6d9f147..5b63a52 100755
--- a/raspi-config
+++ b/raspi-config
@@ -83,6 +83,12 @@ is_fkms() {
   fi
 }
 
+is_pulseaudio() {
+  PS=$(ps ax)
+  echo "$PS" | grep -q pulseaudio
+  return $?
+}
+
 is_installed() {
     if [ "$(dpkg -l "$1" 2> /dev/null | tail -n 1 | cut -d ' ' -f 1)" != "ii" ]; then
       return 1