> So, if I understand correctly, I need to install the .deb from the ppa,
The xorg-edgers is made so that the packages depend on each other in
the right way. So while it may work to only install the
xserver-xorg-video-intel .deb from the ppa, it may happen that it
doesn't (if the xorg-server in the PPA is too new compared to the one
in Karmic, for example). The way it is meant is to add the PPA to
/etc/apt/sources.list and then do a `sudo apt-get update` and a `sudo
apt-get dist-upgrade`. It used to be quite cumbersome to back out
again, but now there is the ppa-purge script in there that does that
easily (`sudo apt-get install ppa-purge` to get it after having
xorg-edgers).
> Have I got that right?
Almost...
> So, if I understand correctly, I need to install the .deb from the ppa,
The xorg-edgers is made so that the packages depend on each other in xorg-video- intel .deb from the ppa, it may happen that it sources. list and then do a `sudo apt-get update` and a `sudo
the right way. So while it may work to only install the
xserver-
doesn't (if the xorg-server in the PPA is too new compared to the one
in Karmic, for example). The way it is meant is to add the PPA to
/etc/apt/
apt-get dist-upgrade`. It used to be quite cumbersome to back out
again, but now there is the ppa-purge script in there that does that
easily (`sudo apt-get install ppa-purge` to get it after having
xorg-edgers).
Otherwise, you got it all right :-)