Thomas’ Lab Notes

Stuff worth not forgetting

Debian Jessie on Dell Precision M4800

The testing ISO image works on a USB key.

Using the nvidia (non-free) driver

To install the nVidia driver:

  • make sure installed kernel headers (linux-headers) match kernel (linux-image), otherwise DKMS won’t build.
  • install nvidia-driver (note: this will build a kernel module, so requires a working compiler)
  • run nvidia-xconfig --query-gpu-info by hand and make note of PCI BusID
  • run nvidia-xconfig --busid=PCI:x:x:x to generate xorg.conf

BIOS setup

  • Video -> Switchable graphics -> uncheck Enable Switchable Graphics

GNOME 3

Disable gnome-keyring:

1
2
3
$ cd /etc/xdg/autostart
$ mv gnome-keyring-ssh.desktop gnome-keyring-ssh.desktop-
$ mv gnome-keyring-gpg.desktop gnome-keyring-gpg.desktop-

Remember NumLock state:

1
$ gsettings set org.gnome.settings-daemon.peripherals.keyboard remember-numlock-state true

Support for smart-card reader

apt-get install pcscd

Network

Disable IPv6 Privacy Extensions

/etc/sysctl.conf
1
2
3
# Disable IPv6 "Privacy extensions" (random SLAAC addresses)
net.ipv6.conf.all.use_tempaddr=0
net.ipv6.conf.default.use_tempaddr=0