From 9e6f97edc1683fe590a37ec1f1f3f80575cdf629 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Beaupr=C3=A9?= <anarcat@debian.org>
Date: Wed, 9 Dec 2020 12:10:26 -0500
Subject: [PATCH] don't try to manage /dev/pts, it's covered by /dev?

In any case, unmounting this was giving me trouble this time.
---
 howto/new-machine-cymru.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/howto/new-machine-cymru.md b/howto/new-machine-cymru.md
index b5b9a8a9..e658c78c 100644
--- a/howto/new-machine-cymru.md
+++ b/howto/new-machine-cymru.md
@@ -228,7 +228,7 @@ working shell in the `chroot`:
     cryptsetup luksOpen /dev/sda3 crypt_sda3 &&
     vgchange -a y &&
     mount /dev/mapper/vg_ganeti-root /mnt &&
-    for fs in /run /sys /dev /dev/pts /proc; do mount -o bind $fs /mnt$fs; done &&
+    for fs in /run /sys /dev /proc; do mount -o bind $fs /mnt$fs; done &&
     mount /dev/sda2 /mnt/boot &&
     chroot /mnt /bin/bash
 
@@ -240,7 +240,7 @@ This will rebuild grub:
 And this will cleanup the rest:
 
     umount /mnt/boot &&
-    for fs in /dev/pts /dev /sys /run /proc; do umount /mnt$fs; done &&
+    for fs in /dev /sys /run /proc; do umount /mnt$fs; done &&
     umount /mnt &&
     vgchange -a n &&
     cryptsetup luksClose crypt_sda3
-- 
GitLab