Rename "Shell tips" to "Shell friends"

danielbachhuber · danielbachhuber · commit 07f70109bfae · 2016-11-18T13:21:18.000-08:00
diff --git a/_config.yml b/_config.yml
@@ -2,7 +2,9 @@ safe: true
 lsi: false
 highlighter: rouge
 markdown: kramdown
-gems: [jekyll-paginate]
+gems:
+  - jekyll-paginate
+  - jekyll-redirect-from
 url: http://wp-cli.org
 permalink: /blog/:title.html
 paginate: 10
diff --git a/docs/quick-start/index.md b/docs/quick-start/index.md
@@ -7,6 +7,7 @@ quick_links:
   - Introduction
   - Common Terms
   - Example Usage
+  - Shell Friends
 ---
 
 Congratulations! You've [installed WP-CLI](/docs/installing/) for the first time, and are ready to level-up your use of WordPress. This page contains a brief introduction to WP-CLI with some example usage.
diff --git a/docs/shell-fields/index.md b/docs/shell-fields/index.md
@@ -1,8 +1,9 @@
 ---
 layout: doc
-title: Shell tips
+title: Shell friends
 description: Helpful shortcuts for bash and zsh.
 category: References
+redirect_from: "/shell-tips"
 ---
 
 Master of bash or zsh? Share your tips here.
