Rapsberry Pi: весь звук ушел в HDMI

Похимичил я с сетевыми настройками Rapsberry Pi и испортил их. Пришлось подключаться не по ssh, а с помощью клавиатуры и монитора. Когда с сетью разобрался и перезагрузился — пропал звук. Это в моей ситуации недопустимо, т.к. RPi используется в качестве музыкального проигрывателя.

Стал разбираться. alsa настроена нормально, миксер выставлен на приличную громкость, колонки подключены правильно. При запуске проигрывателя музыка, судя по изображению на консоли, как бы воспроизводится, но из колонок звука нет.

Думал уж спалил что-нибудь, ан нет. Оказывается, RPi выбирает выходное устройство для аудио автоматически, а поскольку HDMI-монитор тоже с точки зрения alsa является звуковым устройством, его таковым и назначили при подключении. Чтобы принудительно гнать звук в штекер наушников в автозагрузку нужно добавить

amixer cset numid=3 1