Debian Linux sound tools

I use Debian with the notion (ion3) window manager and manage audio with a bunch of different tools.

Sometimes I forget how to configure something so this is a reference for myself:

Add user to audio group:

usermod -G audio

Mixers:

alsamixer (alsa-utils)
pavucontrol (pavucontrol)

ALSA:

List devices:

aplay -l

Pulseaudio:

pactl exit (run as user, stops pulseaudio)
pulseaudio (run as user, starts pulseaudio)

VLC:

To send output through HDMI, choose Audio | Audio Device and select an HDMI channel.
Alternatively use pulseaudion / pavucontrol to send VLC output through HDMI.