The Debian GNU/Linux project has released an updated version of its stable Linux distribution Debian 9 (“stretch”). This is the final update in the 9.x version. You must upgrade to get corrections for security problems as this version made a few adjustments for the severe issue found in Debian version 9.12. Debian is a Unix-like (Linux distro) operating system and a distribution of Free Software. It is mainly maintained and updated through the work of many users who volunteer their time and effort. The Debian Project was first announced in 1993 by Ian Murdock.

ADVERTISEMENTS

More about Debian Linux 9.13 released

From the release note:

The Debian project pleased to announce the thirteenth (and final or last version in 9.xx series) update of its old stable distribution Debian 9 (codename “stretch”). This point release mainly adds corrections for security issues, along with a few adjustments for serious problems. Security advisories have already published separately and referenced where available.

Please note that the point release does not create a new version of Debian 9 but only updates some of the packages included. There is no need to throw away the old “stretch” media or VM/server. After installation, packages can be upgraded to the current versions using an up-to-date Debian mirror.

Those who frequently install updates from security.debian.org won’t have to update packages. All such updates included in the point release.

How to upgrade Debian 9 from version 9.12 to 9.13

The procedure is as follows. First, note down the current version:

$ lsb_release -a

$ uname -mrs

No LSB modules are available.
Distributor ID:	Debian
Description:	Debian GNU/Linux 9.11 (stretch)
Release:	9.11
Codename:	stretch

We see the Linux kernel as follows:

Linux 4.9.0-11-amd64 x86_64

Upgrade the Debian Linux system to 9.13

Type the following apt-get command/apt command to upgrade your system:

$ sudo apt-get update

$ sudo apt-get dist-upgrade

Debian Linux 9.13 releasedUpdating Debian 9.11/9.12 system with the help of apt-get/apt command

Make sure finally reboot the Linux system  to get updated kernel and other libs:

$ sudo reboot

#linux

Debian Linux 9.13 released and here is how to upgrade it
5.75 GEEK