Skip to content

Instantly share code, notes, and snippets.

@gipi
Last active November 8, 2015 17:53
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save gipi/f971849ea8984bf70a4e to your computer and use it in GitHub Desktop.
Save gipi/f971849ea8984bf70a4e to your computer and use it in GitHub Desktop.
#dualboot #debian #windows8 #uefi

The Xorg configuration files are in /usr/share/X11/xorg.conf.d/.

Dual boot Windows8

Dal prompt dei comandi eseguire diskmgmt, after the program is opened, right click on the system partition (Windows C:) and select shrink from the menu.

Seems that HP laptop has shitty UEFI

In order to boot directly from UEFI you have to first boot from legacy mode with linux, mount in /boot/efi/ the VFAT partition and install rEFInd (home page and some notes); a this point the just installed package should find the UEFI installation of windows and configures it with Debian entries.

Now you can disable the legacy mode.

http://superuser.com/questions/714856/trying-to-dual-boot-windows-8-1-and-debian-jessie

DKMS

# dkms status
nvidia, 304.117: added
open-vm-tools, 2012.05.21, 3.2.0-4-amd64, x86_64: installed

# dkms build nvidia/304.117

Kernel preparation unnecessary for this kernel.  Skipping...

Building module:
cleaning build area....
env CCACHE_DISABLE=1 make -C . LINUXDIR=/lib/modules/3.16.0-0.bpo.4-amd64/build KVERREL=3.16.0-0.bpo.4-amd64......(bad exit status: 2)
Error! Bad return status for module build on kernel: 3.16.0-0.bpo.4-amd64 (x86_64)
Consult /var/lib/dkms/nvidia/304.117/build/make.log for more information.

ls -l /var/lib/dkms/nvidia/304.117/
total 12
drwxr-xr-x 3 root root 4096 Dec 12 22:04 3.16.0-0.bpo.4-amd64
drwxr-xr-x 2 root root 4096 Dec 12 22:24 build
drwxr-xr-x 2 root root 4096 Dec 12 22:17 patches
lrwxrwxrwx 1 root root   23 Dec 12 13:49 source -> /usr/src/nvidia-304.117

In order to patch module sources, create a patches directory and then modify the dkms.conf file and add a PATCH[1]=acpi.conf.

32->64

Like a champion I have update the system from a (shameful) wrong installation of a 32 bits system to a 64 bits one, with the following instructions (inspired by this answer)

# dpkg --add-architecture amd64
# apt-get update
# apt-get install linux-image:amd64
# apt-get install gcc-multilib
# update-grub
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment