From d094d41085ccda71bf6e73e5a18be7ba98f9adf3 Mon Sep 17 00:00:00 2001 From: RiskoZoSlovenska Date: Sun, 17 Mar 2024 17:01:11 -0400 Subject: [PATCH] Clean up single quotes again --- files/how-i-switched-to-linux.html.plt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/files/how-i-switched-to-linux.html.plt b/files/how-i-switched-to-linux.html.plt index 5345ccb..eb12ef1 100644 --- a/files/how-i-switched-to-linux.html.plt +++ b/files/how-i-switched-to-linux.html.plt @@ -214,7 +214,7 @@ # ]], [[ # The internet is littered with many similar # questions, many of which have never been resolved. grub-mounting the Windows EFI partition works without -# issues, but whether it's mounted or not changes nothing. The most common solution seems to be adding a menu entry +# issues, but whether it’s mounted or not changes nothing. The most common solution seems to be adding a menu entry # manually, which is what I ended up doing anyway. I added the following to /etc/grub.d/40_custom (remember to # replace 848F-AF37 with your own UUID): # ]], [[ @@ -224,14 +224,14 @@ #} # ]], [[ # Credit goes to these -# two posts. Of course, don't forget to run +# two posts. Of course, don’t forget to run # sudo grub2-mkconfig -o /etc/grub2.cfg to apply changes. # ]]), # Issue(39, "The GRUB boot menu is occasionally skipped when restarting", true, { FEDORA_KDE }, [[ -# Oftentimes, when rebooting my PC, the GRUB menu doesn't come up at all despite the fact that I've explicitly enabled it -# and gave it a long timeout in /etc/default/grub. This issue frustrated me quite a lot since I wasn't able to +# Oftentimes, when rebooting my PC, the GRUB menu doesn’t come up at all despite the fact that I’ve explicitly enabled it +# and gave it a long timeout in /etc/default/grub. This issue frustrated me quite a lot since I wasn’t able to # consistently reproduce it; sometimes the menu would be skipped (especially after using the PC for a while) and other times -# it wouldn't. +# it wouldn’t. # ]], [[ # After some digging around in the generated GRUB config file, I found out that this is the result of Fedora making # this change; for single-boot systems (GRUB thinks my @@ -408,7 +408,7 @@ # Looks like an issue with Discord. As of # , on Fedora/KDE, using the RPM packaging of # Discord and installing -# libunity fixes this issue. I haven't verified it myself but it looks like +# libunity fixes this issue. I haven’t verified it myself but it looks like # it should work in the Flatpak packaging too. I # dunno about GNOME. # ]]),