lspci | grep "VGA compatible controller"
Este NÃO é o comando para ver qual adaptador é usado. Este comando lista o barramento PCI e filtra-o por palavras-chave. lspci
mostra apenas todos os dispositivos PCI, independentemente de serem usados ou não.
Se você executar de outra maneira:
lspci | grep -E 'VGA|3D'
você verá os dois adaptadores.
Se você realmente quiser ver qual deles é usado, execute
prime-select query
ou
glxinfo | grep OpenGL
Mas o seu programa gráfico também mostra isso muito bem.