From 891380f1b92376ae4d2d567327cf67b369da29ae Mon Sep 17 00:00:00 2001 From: jdubois Date: Wed, 15 Nov 2023 15:46:46 +0100 Subject: [PATCH] Espaces en trop --- HowtoOpenBSD/GestionDisques.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/HowtoOpenBSD/GestionDisques.md b/HowtoOpenBSD/GestionDisques.md index a3eba7a5..1359dc3e 100644 --- a/HowtoOpenBSD/GestionDisques.md +++ b/HowtoOpenBSD/GestionDisques.md @@ -243,7 +243,7 @@ On veut augmenter la taille de la partition `/home` qui est placée à la fin du * On s'assure que la partition `/home` n'est pas utilisée (se connecter directement en tant que root temporairement), puis on la démonte : ~~~ -# fstat -f /home +# fstat -f /home USER CMD PID FD MOUNT INUM MODE R/W SZ|DV # umount /home