diff --git a/install_it.md b/install_it.md
index 8fa8f550..94f95373 100644
--- a/install_it.md
+++ b/install_it.md
@@ -77,7 +77,7 @@ Questa pagina elenca alcune guide all'installazione.
diff --git a/install_on_debian.md b/install_on_debian.md
index 45e1016c..99fc194f 100644
--- a/install_on_debian.md
+++ b/install_on_debian.md
@@ -8,8 +8,8 @@
An ARM box, a VPS, a dedicated server, a standard x86 computer, an old Macintosh, ...
-* with **Debian 9** (Stretch) installed
(with kernel >= 3.12)
- * the Debian 9 ISO can be downloaded from [here](https://www.debian.org/releases/stretch/debian-installer/). Take the 'netinst CD image' for your architecture.
+* with **Debian 10** (Buster) installed
(with kernel >= 3.12)
+ * the Debian 10 ISO can be downloaded from [here](https://www.debian.org/releases/buster/debian-installer/). Take the 'netinst CD image' for your architecture.
* N.B. : having a graphical environment is *not* recommended! Servers are meant to be administrated remotely!
* connected to the Internet
* with a direct **root access** or via SSH
diff --git a/install_on_debian_fr.md b/install_on_debian_fr.md
index eaa21951..013a492e 100644
--- a/install_on_debian_fr.md
+++ b/install_on_debian_fr.md
@@ -8,8 +8,8 @@
Sur une plateforme ARM, un VPS, un serveur dédié, un ordinateur x86 standard, un vieux Macintosh,...
-* avec **Debian 9** (Stretch) installé
(avec un kernel >= 3.12)
- * l'ISO Debian 9 ISO peut être téléchargée depuis [cette page](https://www.debian.org/releases/stretch/debian-installer/). Prenez la 'netinst CD image' pour votre architecture
+* avec **Debian 10** (Buster) installé
(avec un kernel >= 3.12)
+ * l'ISO Debian 10 ISO peut être téléchargée depuis [cette page](https://www.debian.org/releases/buster/debian-installer/). Prenez la 'netinst CD image' pour votre architecture
* N.B. : Avoir un environnement graphique n'est *pas* recommandé ! Les serveurs sont généralement administrés à distance !
* connecté à Internet
* avec un **accès root** directement ou par SSH
diff --git a/install_on_debian_it.md b/install_on_debian_it.md
index e306592d..844d77b5 100644
--- a/install_on_debian_it.md
+++ b/install_on_debian_it.md
@@ -8,8 +8,8 @@
Su un computer ARM, un VPS, un server dedicato, un computer x86 standard, un vecchio Macintosh, ...
-* con **Debian 9** (Stretch) installato
(con un kernel >= 3.12)
- * l'immagine ISO di Debian 9 può essere scaricata da [qui](https://www.debian.org/releases/stretch/debian-installer/). Scegli l'immagine 'netinst CD' per la tua architettura.
+* con **Debian 10** (Buster) installato
(con un kernel >= 3.12)
+ * l'immagine ISO di Debian 10 può essere scaricata da [qui](https://www.debian.org/releases/buster/debian-installer/). Scegli l'immagine 'netinst CD' per la tua architettura.
* N.B.: l'uso di un'interfaccia grafica *non* è raccomandato! I server dovrebbero essere amministrati da remoto!
* connesso ad Internet
* con un **accesso root** diretto o via SSH
@@ -20,4 +20,4 @@ Su un computer ARM, un VPS, un server dedicato, un computer x86 standard, un vec
1. Installazione manuale
-
2. Post-installazione
\ No newline at end of file
+
2. Post-installazione
diff --git a/install_on_raspberry.md b/install_on_raspberry.md
index ceef5c12..0e9f9bb3 100644
--- a/install_on_raspberry.md
+++ b/install_on_raspberry.md
@@ -45,7 +45,7 @@ We do not recommend the manual installation because it is more technical and lon
The latest Rasbpian images requires a screen and a keyboard, as it is no longer possible to connect directly to the Raspberry through SSH. Nevertheless it is possible to re-enable SSH at boot : before starting your Raspberry, put in the boot partition of the SD card an empty file named `ssh` (without extension).
-0. Install Raspbian Stretch Lite on the SD card ([instructions](https://www.raspberrypi.org/downloads/raspbian/)). The Raspbian Stretch Lite can be found here: https://downloads.raspberrypi.org/raspbian_lite/images/raspbian_lite-2019-04-09/
+0. Install Raspbian Buster Lite on the SD card ([instructions](https://www.raspberrypi.org/downloads/raspbian/)). The Raspbian Buster Lite can be found here: https://downloads.raspberrypi.org/raspbian_lite/images/
1. Connect to your Raspberry Pi with the user `pi`. Set the root password with
```bash
diff --git a/install_on_raspberry_de.md b/install_on_raspberry_de.md
index c57f34de..d5b8fee1 100644
--- a/install_on_raspberry_de.md
+++ b/install_on_raspberry_de.md
@@ -45,7 +45,7 @@ We do not recommend the manual installation because it is more technical and lon
The latest Rasbpian images requires a screen and a keyboard, as it is no longer possible to connect directly to the Raspberry through SSH. Nevertheless it is possible to re-enable SSH at boot : before starting your Raspberry, put in the boot partition of the SD card an empty file named `ssh` (without extension).