Tengo 2 computadoras, ambas tienen Ubuntu 18.04. Cuando selecciono el ícono de "configuración", ninguno tenía una opción HDMI en la configuración de sonido hasta que miré recientemente y esta computadora ahora tiene una selección HDMI y la otra computadora no. La otra computadora tenía 14.04 y también estaba la opción HDMI en esa configuración de sonido, pero acabo de instalar 18.04 en la otra y tomé todas las actualizaciones y no hay ninguna opción HDMI. ¿Cómo sucede eso y cómo lo cambio? Gracias