Thanks for your answer. Unfortunately, it did not succeed.
nvidia-installer -t did give an error, so I tried installed nvidia-settings and rebooted, to no effect: screen still not detected, “nouveau” still listed as the driver.
So, I tried sudo nvidia-installer, but it tells me it can’t find a suitable driver for my graphics card!
I’m running Antergos on a laptop with an external screen. For the first day, there was no issue with the screen.
The next day, though, merely trying to boot with the screen connected or plug it in made Antergos freeze.
From the third day on, the screen is just never detected anymore.
My laptop is a Lenovo Thinkpad P71, the external screen is connected in HDMI.
lspci -v returns this concerning the driver in use:
01:00.0 3D controller: NVIDIA Corporation GP104GLM [Quadro P3000 Mobile] (rev a1)
Subsystem: Lenovo GP104GLM [Quadro P3000 Mobile]
Flags: bus master, fast devsel, latency 0, IRQ 134
Memory at df000000 (32-bit, non-prefetchable) [size=16M]
Memory at 80000000 (64-bit, prefetchable) [size=256M]
Memory at 90000000 (64-bit, prefetchable) [size=32M]
I/O ports at d000 [size=128]
Expansion ROM at e0000000 [disabled] [size=512K]
Capabilities: <access denied>
Kernel driver in use: nouveau
Kernel modules: nouveau