9 年之前 · 901be2fe58
--- a/doc/EN/mirrors.org
+++ b/doc/EN/mirrors.org
@@ -16,10 +16,11 @@
 
				 </center>
			
 
				 #+END_HTML
			
 
				 
			
 
				-| [[What are mirrors and why do they exist?]]         |
			
 
				-| [[What security do mirrors have?]]                  |
			
 
				-| [[How do I set up mirrors?]]                        |
			
 
				-| [[Do mirrors include debian package repositories?]] |
			
 
				+| [[What are mirrors and why do they exist?]]                         |
			
 
				+| [[What security do mirrors have?]]                                  |
			
 
				+| [[How do I set up mirrors?]]                                        |
			
 
				+| [[Do mirrors include debian package repositories?]]                 |
			
 
				+| [[What do I need to do to keep the mirrored repositories updated?]] |
			
 
				 
			
 
				 * What are mirrors and why do they exist?
			
 
				 It would be nice if all of the applications used by this project were packaged for Debian, but currently they're not. This means that various upstream git repositories are used and these mostly reside on Github. What if Github were to go away, become paying only or be censored in some manner which was difficult to work around? To guard against this possibility the repositories are mirrored on each install and can then be made available to other users so that new installations or updates could still occur without the original default repos.
			
@@ -31,3 +32,5 @@ The interactive installer will ask whether you want to configure the main respos
 
				 No. Packages for Debian will still be accessed in the conventional manner.
			
 
				 * Can I change mirrors after the system has been installed
			
 
				 Yes. From the control panel select "/Set the main repository/"
			
 
				+* What do I need to do to keep the mirrored repositories updated?
			
 
				+Nothing. That happens as part of regular automatic updates.
			
--- a/website/EN/mirrors.html
+++ b/website/EN/mirrors.html
@@ -3,7 +3,7 @@
 
				 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
			
 
				 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
			
 
				 <head>
			
 
				-<!-- 2016-02-01 Mon 11:01 -->
			
 
				+<!-- 2016-02-01 Mon 14:42 -->
			
 
				 <meta  http-equiv="Content-Type" content="text/html;charset=utf-8" />
			
 
				 <meta  name="viewport" content="width=device-width, initial-scale=1" />
			
 
				 <title></title>
			
@@ -185,6 +185,10 @@ for the JavaScript code in this tag.
 
				 <tr>
			
 
				 <td class="org-left"><a href="#orgheadline4">Do mirrors include debian package repositories?</a></td>
			
 
				 </tr>
			
 
				+
			
 
				+<tr>
			
 
				+<td class="org-left"><a href="#orgheadline5">What do I need to do to keep the mirrored repositories updated?</a></td>
			
 
				+</tr>
			
 
				 </tbody>
			
 
				 </table>
			
 
				 
			
@@ -220,11 +224,19 @@ No. Packages for Debian will still be accessed in the conventional manner.
 
				 </p>
			
 
				 </div>
			
 
				 </div>
			
 
				+<div id="outline-container-orgheadline6" class="outline-2">
			
 
				+<h2 id="orgheadline6">Can I change mirrors after the system has been installed</h2>
			
 
				+<div class="outline-text-2" id="text-orgheadline6">
			
 
				+<p>
			
 
				+Yes. From the control panel select "<i>Set the main repository</i>"
			
 
				+</p>
			
 
				+</div>
			
 
				+</div>
			
 
				 <div id="outline-container-orgheadline5" class="outline-2">
			
 
				-<h2 id="orgheadline5">Can I change mirrors after the system has been installed</h2>
			
 
				+<h2 id="orgheadline5">What do I need to do to keep the mirrored repositories updated?</h2>
			
 
				 <div class="outline-text-2" id="text-orgheadline5">
			
 
				 <p>
			
 
				-Yes. From the control panel select "<i>Set the main repository</i>"
			
 
				+Nothing. That happens as part of regular automatic updates.
			
 
				 </p>
			
 
				 </div>
			
 
				 </div>