Download the Debian 10.13 ISO
Copy the ISO on a USB drive
Plug the USB drive and identify the associated device
/dev/sda), then use
to install the image on it :
$ sudo cp debian-10.13.0-amd64-netinst.iso /dev/sda
Warning this action will prevent later access to the data already present on the device. Check the device name carefully.
Boot the PC on the USB drive and start the installation
This documentation does not cover all the details of the installation process. If you are not comfortable with the partitioning tool, choose the assisted partitionning on a whole disk, with everything in one partition.
At step “Configure the package manager”
Get in console mode by pressing
<Ctrl+Alt+F2> then press
<Enter> and input the following commands
# chroot /target apt install gnupg # wget -O- http://scibian.org/repos/scibian.org.pub | chroot /target apt-key add -
Then go back to the installation screen by pressing
<Alt+F5>, choose “Manual” and fill the
following fields :
At step “Software selection”
Uncheck all the boxes except “Common system tools”, and continue.
At the end of the installation process, unplug the USB drive, and reboot
When prompted for login, login as administrator
/etc/apt/sources.list in the
following way :
deb https://scibian.org/repos/scibian10 buster main contrib non-free deb https://scibian.org/repos/scibian10 buster-security main contrib non-free deb https://scibian.org/repos/scibian10 buster-updates main contrib non-free deb https://scibian.org/repos/scibian10 scibian10 main contrib non-free
# apt update
# apt install scibian-standard scibian-desktop
Configure the nVidia card (if needed)
# apt install nvidia-detect
nvidia-detect and follow its
End of the installation process
Reboot the PC.