#!/bin/sh - source /etc/default/pulseaudio_profile PROFILE_LOCAL=$DEFAULT_PULSE_AUDIO_LOCAL_PROFILE PROFILE_HDMI=$DEFAULT_PULSE_AUDIO_HDMI_PROFILE HDMI_STATUS=$(cat /sys/class/drm/card0/*HDMI*/status) if [ "$HDMI_STATUS" = "connected" ]; then PROFILE=$PROFILE_HDMI else PROFILE=$PROFILE_LOCAL fi cat > /tmp/pulse_temp_switch.sh <