We can use command
pactl - Control a running PulseAudio sound server on terminal
first, list our available properties in our machine using this command:
pactl list cards
based on my hardware above, i set output:hdmi-stereo as my default profile using this command:
pactl set-card-profile 0 output:hdmi-stereo
if we want to set to internal ...