как называется устройство с микрофоном в Ubuntu?

Я хочу перенаправить звук с источника, такого как vlc media player, на устройство с микрофоном. Я хотел бы сделать это через командную строку, а не с помощью программного обеспечения на основе графического интерфейса. какое устройство я должен использовать?

Я вижу этот пост: https://unix.stackexchange.com/questions/82259/how-to-pipe-audio-output-to-mic-input

, который, вероятно, функционально похож, но использует графический интерфейс и не сообщает мне устройство /dev/microphone. Я искал устройства с интуитивно названными именами в / dev, но не нашел его.