[LON-CAPA-cvs] cvs: doc /build debian10_install.frag debian11_install.frag debian12_install.frag

[raeburn]

raeburn		Tue Aug  6 12:37:10 2024 EDT

  Modified files:              
    /doc/build	debian12_install.frag debian11_install.frag 
              	debian10_install.frag 
  Log:
  - Unbalanced tags
  
  
Index: doc/build/debian12_install.frag
diff -u doc/build/debian12_install.frag:1.5 doc/build/debian12_install.frag:1.6
--- doc/build/debian12_install.frag:1.5	Tue Aug  6 12:25:06 2024
+++ doc/build/debian12_install.frag	Tue Aug  6 12:37:10 2024
@@ -85,14 +85,14 @@
 Finish installing your server, reboot it, and log in with the username you created during installation.
 </p>
 <h3>Enabling sudo</h3>
-<p>If you wish to allow the username created during installation to have administration privileges using sudo, use su to become root and execute the following, replacing <i><username><i> with that specific username:
+<p>If you wish to allow the username created during installation to have administration privileges using sudo, use su to become root and execute the following, replacing <i><username></i> with that specific username:
 </p>
 <pre>
 apt-get install sudo
 /sbin/adduser <username> sudo
 exit
 </pre>
-<p>Now logout and log in again with that username. If you prefer not to use sudo, then you should omit all instances of <i>sudo<i> when executing all commands listed on the remainder of this page, after using su to become root.
+<p>Now logout and log in again with that username. If you prefer not to use sudo, then you should omit all instances of <i>sudo</i> when executing all commands listed on the remainder of this page, after using su to become root.
 </p>
 <h3>Firewall Configuration</h3>
 <p>
Index: doc/build/debian11_install.frag
diff -u doc/build/debian11_install.frag:1.4 doc/build/debian11_install.frag:1.5
--- doc/build/debian11_install.frag:1.4	Tue Aug  6 12:25:06 2024
+++ doc/build/debian11_install.frag	Tue Aug  6 12:37:10 2024
@@ -85,7 +85,7 @@
 Finish installing your server, reboot it, and log in with the username you created during installation.
 </p>
 <h3>Enabling sudo</h3>
-<p>If you wish to allow the username created during installation to have administration privileges using sudo, use su to become root and execute the following, replacing <i><username><i> with that specific username:
+<p>If you wish to allow the username created during installation to have administration privileges using sudo, use su to become root and execute the following, replacing <i><username></i> with that specific username:
 </p>
 <pre>
 apt-get install sudo
Index: doc/build/debian10_install.frag
diff -u doc/build/debian10_install.frag:1.4 doc/build/debian10_install.frag:1.5
--- doc/build/debian10_install.frag:1.4	Tue Aug  6 12:25:06 2024
+++ doc/build/debian10_install.frag	Tue Aug  6 12:37:10 2024
@@ -85,7 +85,7 @@
 Finish installing your server, reboot it, and log in with the username you created during installation.
 </p>
 <h3>Enabling sudo</h3>
-<p>If you wish to allow the username created during installation to have administration privileges using sudo, use su to become root and execute the following, replacing <i><username><i> with that specific username:
+<p>If you wish to allow the username created during installation to have administration privileges using sudo, use su to become root and execute the following, replacing <i><username></i> with that specific username:
 </p>
 <pre>
 apt-get install sudo