Periódicamente (cada pocos reinicios por lo que parece) mi salida VGA externa en mi computadora portátil cambia de nombre entre VGA1 y VGA2. Por ejemplo, en este momento xrandr está mostrando: timp@helez:~$ xrandr | grep VGA VGA2 connected 1680x1050+0+0 (normal left inverted right x axis y axis)...