Note how to pin xserver-xorg-video-intel

Prevent updates from overwriting xserver-xorg-video-intel and breaking DRI3.

diff --git a/BUILD.md b/BUILD.md
index a621f66d9cbd5adb198ba5a7140b855ff8c20956..ac5deb1dbf17e61e99737584a006e83f6719b201 100644 (file)
--- a/BUILD.md
+++ b/BUILD.md
@@ -44,6 +44,11 @@ wget http://launchpadlibrarian.net/189418339/xserver-xorg-video-intel_2.99.914-1
 ```
 sudo dpkg -i xserver-xorg-video-intel_2.99.914-1~exp1ubuntu4.1_amd64.deb
 ```
+- Pin the package to prevent updates
+```
+sudo bash -c "echo $'Package: xserver-xorg-video-intel\nPin: version 2:2.99.914-1~exp1ubuntu4.1\nPin-Priority: 1001' > /etc/apt/preferences.d/xserver-xorg-video-intel"
+```
+
 - Either restart Ubuntu or just X11.  
   
 ## Clone the repository