automated terminal push

landing/docs/Proving-Grounds/Resources/tips.md

@@ -0,0 +1,17 @@
+# Pro Tips
+
+There are several things you can try when you are unsure how to continue:
+
+* First, if you know a command, but don’t know how to use it, try the manual (man page) by entering man <command>. For example, man ls to learn about the "ls" command. The "man" command also has a manual, try it! When using man, press q to quit (you can also use / and n and N to search).
+
+* Second, if there is no man page, the command might be a shell built-in. In that case use the "help <X>" command. E.g. help cd
+
+* Also, your favorite search-engine is your friend. Learn how to use it! I recommend Google.
+
+* Lastly, if you are still stuck, you can join us via chat
+
+## What To Do When Lost
+
+You will encounter many situations in which you have no idea what you are supposed to do. Don’t panic! Don’t give up! The purpose of this game is for you to learn the basics.
+
+Part of learning the basics, is reading a lot of new information. If you’ve never used the command line before, a good first read is this introduction to user commands.