Work around mic pulseaudio ID value with a script

scripts/.local/share/scripts/pulseaudio-mic-mute

@@ -0,0 +1,12 @@
+#!/bin/sh
+
+pulsemixer $(\
+    pulsemixer --list-sources |\
+    grep Default |\
+    awk -v args="$args" '{
+        gsub(/,$/,"",$3);
+        cmdargs = cmdargs"--id "$3" "args" "
+    } END {
+        print cmdargs
+    }'
+) --toggle-mute