It's astonishingly hard to find out how to install opengl headers on ubuntu. I've seen pointers to the opengl registry: http://www.opengl.org/registry/ but the files do not appear to be there.

I've also see reference that the files come in the nvidia drivers. Of course, the drivers supposedly are pre-loaded on the distribution, but perhaps not the developer tools.

If anyone on Ubuntu is listening, this is kind of a ludicrous situation. This is not wildly exotic stuff, loading the graphics libraries should be fast and easy. In fact, I might venture to suggest that these header files be included with any standard developer headers.

Anyway, I was trying to install the NVIDIA drivers with:

sudo sh ./NVIDIA-Linux-x86_64-260.19.12.run

This fails because the x server is running. I want to shut down, but if I kill it, it will just restart. I tried init 1 and it didn't work. This seems more complicated than it used to be, but I'm just not used to this distribution, any hints?

Thanks!