Rename downloads page to match title (ev3dev#360)

dlech · WasabiFan · commit f1292a7d382a · 2017-03-28T22:12:44.000-07:00
for the people that type it in
diff --git a/_includes/page-core/page-header.html b/_includes/page-core/page-header.html
@@ -17,7 +17,7 @@
                         <a href="/docs/getting-started" title="Our Getting Started guide">Start Here</a>
                     </li>
                     <li>
-                        <a href="/download" title="SD card images for ev3dev">Downloads</a>
+                        <a href="/downloads" title="SD card images for ev3dev">Downloads</a>
                     </li>
                     <li class="dropdown">
                         <a class="dropdown-toggle" data-toggle="dropdown" title="Documentation on using ev3dev">
diff --git a/docs/getting-started.md b/docs/getting-started.md
@@ -62,7 +62,7 @@ please [open an issue on GitHub](/support){: .alert-link}.
 <br/>
 To get started, you will need to download the release corresponding to the platform
 you are using. For additional downloads and advanced information, check out our
-[dedicated download page](/download).
+[dedicated download page](/downloads).
 
 </div>
 <div class="release-link-alt" markdown="1">
diff --git a/docs/tutorials/upgrading-ev3dev.md b/docs/tutorials/upgrading-ev3dev.md
@@ -14,7 +14,7 @@ There are multiple ways that you can upgrade ev3dev.
 
 This option will likely be the fastest by far. **However, by re-flashing your SD card, you will lose any files that were stored in your ev3dev installation, including code and installed programs.**
 
-Head over to our [downloads page](/download) to download the appropriate image
+Head over to our [downloads page](/downloads) to download the appropriate image
 and then follow the linked instructions at the top of that page to flash the
 flash to your SD card.
 
diff --git a/docs/tutorials/writing-sd-card-image-linux-command-line.md b/docs/tutorials/writing-sd-card-image-linux-command-line.md
@@ -43,10 +43,10 @@ group: sd-card-image
     include the partition number.
 
     In this example we downloaded the compressed disk image file to
-    `~/Download/` and our SD card is `/dev/sdb`. Adjust these values as
+    `~/Downloads/` and our SD card is `/dev/sdb`. Adjust these values as
     needed. This will take a long time.
 
-        user@host ~ $ xzcat ~/Download/ev3dev-yyyy-mm-dd.img.xz | sudo dd bs=4M of=/dev/sdb
+        user@host ~ $ xzcat ~/Downloads/ev3dev-yyyy-mm-dd.img.xz | sudo dd bs=4M of=/dev/sdb
         [sudo] password for user:
 
     **TIP:** You can monitor the progress of this by running the following in
diff --git a/downloads.md b/downloads.md
@@ -3,6 +3,7 @@ title: Downloads
 subtitle: Bootable SD card image files
 excerpt: Download ev3dev SD card images.
 no-wrapper: true
+redirect_from: /download/
 ---
 
 {% include /style/begin-section.html %}
diff --git a/news/_posts/2016-10-17-ev3dev-jessie-2016-10-17-release.md b/news/_posts/2016-10-17-ev3dev-jessie-2016-10-17-release.md
@@ -80,4 +80,4 @@ Also, `sudo ev3dev-config` will help you with some basic administrative tasks.
 
 ### Download
 
-We have a fancy new [download](/download) page. Check it out!
+We have a fancy new [download](/downloads) page. Check it out!
diff --git a/news/_posts/2016-12-21-ev3dev-jessie-2016-12-21-release.md b/news/_posts/2016-12-21-ev3dev-jessie-2016-12-21-release.md
@@ -21,4 +21,4 @@ More details are in the [release notes].
 
 ### Download
 
-You can find SD card images on our [download](/download) page.
+You can find SD card images on our [download](/downloads) page.
diff --git a/news/_posts/2017-02-11-ev3dev-jessie-2017-02-11-release.md b/news/_posts/2017-02-11-ev3dev-jessie-2017-02-11-release.md
@@ -55,4 +55,4 @@ More details are in the [release notes].
 
 ### Download
 
-You can find SD card images on our [download](/download) page.
+You can find SD card images on our [download](/downloads) page.

Original file line number	Diff line number	Diff line change
@@ -80,4 +80,4 @@ Also, `sudo ev3dev-config` will help you with some basic administrative tasks.
`80`	`80`
`81`	`81`	`### Download`
`82`	`82`
`83`		`-We have a fancy new [download](/download) page. Check it out!`
	`83`	`+We have a fancy new [download](/downloads) page. Check it out!`
Original file line number	Diff line number	Diff line change
`@@ -21,4 +21,4 @@ More details are in the [release notes].`
`21`	`21`
`22`	`22`	`### Download`
`23`	`23`
`24`		`-You can find SD card images on our [download](/download) page.`
	`24`	`+You can find SD card images on our [download](/downloads) page.`
Original file line number	Diff line number	Diff line change
`@@ -55,4 +55,4 @@ More details are in the [release notes].`
`55`	`55`
`56`	`56`	`### Download`
`57`	`57`
`58`		`-You can find SD card images on our [download](/download) page.`
	`58`	`+You can find SD card images on our [download](/downloads) page.`