Debian 13 Trixie
Debian1 is one of the Linux distributions adhering to the concept of open-source software. In the past, users with little familiarity had problems during installation to include non-open-source drivers essential for the operation of their PC. This led to the creation of more user-friendly distributions that allowed easier dissemination. We should not forget that Debian is the basis of many distributions, including Ubuntu, Mint, Tails, Raspberry Pi OS, and many others.
The site DistroWatch publishes information about all Linux distributions, among which surely any computer user will find the one that best suits their needs, and for all those, armed with goodwill, who wish to move away from spy operating systems like Windows and macOS.
Founded in 1993, Debian stands out for its extraordinary stability. The stable versions are carefully tested to ensure they are free of critical bugs, making them ideal for servers and systems requiring maximum reliability. The rigorous development process and open sharing philosophy make Debian a unique project in its kind.
August 9, 2025, Debian version 13 - codenamed “Trixie” was released after 2 years, 1 month, and 30 days of development.
Installation
Information about installation is available on the Download Debian
page. I preferred to use the full distribution image file debian-13.0.0-amd64-DVD-1.iso.
Download Files
Below are the terminal commands to download and verify the installation files.
wget https://cdimage.debian.org/debian-cd/current/amd64/iso-dvd/debian-13.0.0-amd64-DVD-1.iso
wget https://cdimage.debian.org/debian-cd/13.0.0/amd64/bt-dvd/SHA256SUMS
wget https://cdimage.debian.org/debian-cd/13.0.0/amd64/bt-dvd/SHA256SUMS.sign
Verify Authenticity
Public keys to Debian signatures must be downloaded from the website reference.
wget https://www.debian.org/CD/key-988021A964E6EA7D.txt
wget https://www.debian.org/CD/key-DA87E80D6294BE9B.txt
wget https://www.debian.org/CD/key-42468F4009EA8AC3.txt
Import Public Keys.
gpg --import key-988021A964E6EA7D.txt
gpg --import key-DA87E80D6294BE9B.txt
gpg --import key-42468F4009EA8AC3.txt
Verify the ISO Image.
sha256sum -c SHA256SUMS
gpg --verify SHA256SUMS.sign SHA256SUMS
Download ISO Image to USB
Always verify the USB path with the command lsblk -o NAME,MOUNTPOINT,UUID,FSTYPE,SIZE,LABEL,MODE,MODEL
IMG="path/debian-xxx.iso"
sudo dd if="$IMG" of=/dev/sda bs=4M status=progress conv=fsync
The name Debian has a special origin; it is a tribute to the combination of the names of the distribution’s founder, Ian Murdock, and his then-wife Debra. Ian decided to combine his name Ian with Deb’s, creating Debian. ↩︎