Clean up HTTP URLs, fix references to Trac

7 files changed, 12 insertions, 17 deletions

diff --git a/content/AlphaBoardStrategy.md b/content/AlphaBoardStrategy.md
index 0f6ae6c..ecb8dbb 100644
--- a/content/AlphaBoardStrategy.md
+++ b/content/AlphaBoardStrategy.md
@@ -8,10 +8,10 @@ Category: AlphaBoard
 Develop a first, custom HSM board that can be used to support a first set of applications as well as being used for further development of new functionality as well as security mechanisms such as tamper detection and protection, key storage etc. Deadline is to produce palpable results before summer, 2015.
 
 
-* The use cases and requirements for the alpha board are specified on the [Dashboard](http://trac.cryptech.is/wiki/Dashboard).
+* The use cases and requirements for the alpha board are specified on the [Dashboard](https://wiki.cryptech.is/wiki/Dashboard).
 * The basic blocks of the Alpha board is [shown here]({filename}Hardware.md).
 * The [BOM and component requirements]({filename}AlphaBoardComponents.md).
-* The detailed [Alpha board functional drawing](http://trac.cryptech.is/browser/doc/design/Alpha_board_drawing.pdf).
+* The detailed [Alpha board functional drawing](https://wiki.cryptech.is/browser/doc/design/Alpha_board_drawing.pdf).
 
 
 
diff --git a/content/BinaryPackages.md b/content/BinaryPackages.md
index 4caaedb..404c60f 100644
--- a/content/BinaryPackages.md
+++ b/content/BinaryPackages.md
@@ -42,19 +42,19 @@ CPU, and AVR ATtiny828 MCU.
   depends on which distribution you're running.
     * For Debian Stretch, do:
     ```
-    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list http://apt.cryptech.is/sources.stretch.list
+    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list https://apt.cryptech.is/sources.stretch.list
     ```
     * For Debian Buster, do:
     ```
-    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list http://apt.cryptech.is/sources.buster.list
+    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list https://apt.cryptech.is/sources.buster.list
     ```
     * For Ubuntu Xenial, do:
     ```
-    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list http://apt.cryptech.is/sources.xenial.list
+    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list https://apt.cryptech.is/sources.xenial.list
     ```
     * For Ubuntu Bionic, do:
     ```
-    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list http://apt.cryptech.is/sources.bionic.list
+    $ sudo wget -q -O /etc/apt/sources.list.d/cryptech.list https://apt.cryptech.is/sources.bionic.list
     ```
 
 
diff --git a/content/BuildingFromSource.md b/content/BuildingFromSource.md
index 4357d0d..40ea8ee 100644
--- a/content/BuildingFromSource.md
+++ b/content/BuildingFromSource.md
@@ -1,10 +1,9 @@
 Title: Building Cryptech Software/Firmware/Bitstream From Source
 Author: Rob Austein
 Date: 2017-05-13 17:47
-Modified: 2017-05-17 21:28
+Modified: 2021-10-10 23:43
 Category: Releases
 
-
 Everything you need to build our software, firmware, and FPGA
 bitstreams from source yourself is publicly available, but the process
 is a bit complicated.  Overall, there are two methods, one of which
@@ -19,9 +18,8 @@ We check out copies of all the several dozen separate repositories and
 carefully arrange them in a tree structure which matches the official
 naming scheme.  Yes, really.  It's tedious, but we have
 [a script to automate this](https://git.cryptech.is/user/sra/build-tools/tree/https-sync-repos.py).
-Be warned that this script is a kludge which relies on parsing
-XML from this Wiki; this is nasty, but reasonably stable, because the
-XML itself is generated by another script.
+This works by parsing the `.gitmodules` file in the `releng/alpha`
+repository (see "reproducible builds", below).
 
 Once you have this tree, you can hop around within it, building
 whichever bits are of interest to you.  So if you want to rebuild just
diff --git a/content/CoretestHashesNovena.md b/content/CoretestHashesNovena.md
index 8b1ac43..3bf3c90 100644
--- a/content/CoretestHashesNovena.md
+++ b/content/CoretestHashesNovena.md
@@ -11,7 +11,7 @@ Cryptech subsystem on a Novena PVT1 development board.
 
 <img src="http://bunniefoo.com/novena/pvt1_release/novena_pvt1e_top_sm.jpg">
 
-It is a small single-board Linux PC, which happens to include a Xilinx [Spartan-6 FPGA](http://www.xilinx.com/products/silicon-devices/fpga/spartan-6/lx.html). This, together with the TerasIC [Cyclone 5 GX](http://trac.cryptech.is/wiki/CoretestHashesC5G), is what we are using to develop and test the Cryptech cores.
+It is a small single-board Linux PC, which happens to include a Xilinx [Spartan-6 FPGA](http://www.xilinx.com/products/silicon-devices/fpga/spartan-6/lx.html). This, together with the TerasIC [Cyclone 5 GX]({filename}CoretestHashesC5G.md), is what we are using to develop and test the Cryptech cores.
 
 The Novena includes an HDMI adapter and two USB ports, so you can plug in a monitor, keyboard, and mouse, and have a graphical desktop environment. However, I prefer to run it headless, and ssh to it. To ssh to the Novena, you need to know its IP address, which means you need to either statically configure it, or you need to assign it an address in your DHCP server.
 
diff --git a/content/GettingStartedNovena.md b/content/GettingStartedNovena.md
index f5d2001..103c656 100644
--- a/content/GettingStartedNovena.md
+++ b/content/GettingStartedNovena.md
@@ -100,7 +100,7 @@ $ sudo apt-key add apt-gpg-key.asc
 Configure apt to use the repository.
 
 ```
-$ sudo wget -q -O /etc/apt/sources.list.d/novena.list http://apt.cryptech.is/novena/sources.list
+$ sudo wget -q -O /etc/apt/sources.list.d/novena.list https://apt.cryptech.is/novena/sources.list
 ```
 
 Update the package index file.
diff --git a/content/ProjectStatus.md b/content/ProjectStatus.md
index e36a113..f33b2df 100644
--- a/content/ProjectStatus.md
+++ b/content/ProjectStatus.md
@@ -10,7 +10,7 @@ Date: 2016-12-15 22:44
 * [PostAlphaPlan]({filename}PostAlphaPlan.md)
 * [AlphaBoardStrategy]({filename}AlphaBoardStrategy.md)
 * [AlphaBoardComponents]({filename}AlphaBoardComponents.md)
-* [Core Git Repository](http://trac.cryptech.is/wiki/GitRepositories/core)
+* [Core Git Repository](https://git.cryptech.is/)
 * [Hardware]({filename}Hardware.md)
 * [DevBridgeBoard]({filename}DevBridgeBoard.md)
 
diff --git a/content/QuickStart.md b/content/QuickStart.md
index 24cf82c..3f1fbaf 100644
--- a/content/QuickStart.md
+++ b/content/QuickStart.md
@@ -7,9 +7,6 @@ Modified: 2017-05-13 20:39
 ## Git Repositories
 The team uses Git to store and track project development. All submissions are [signed](https://git-scm.com/book/en/v2/Git-Tools-Signing-Your-Work).
 
-The active repositories are automatically posted to GitRepositories.
-
-
 ## The Alpha Board
 
 The current hardware is the AlphaBoard.  More information (to be organized at some point -- yes, this wiki is a mess, again):