Minor edit

.gitignore

@@ -9,4 +9,5 @@ ptf/ptf.log
 ptf/ptf.pcap
 **/*.iml
 **/*.pyc
+**/*.bak
 util/.pipe_cfg

EXERCISE-1.md

@@ -140,7 +140,7 @@ You can ignore the ONOS one for now, we will use that in exercise 3 and 4.
 
 To make sure the container is started without errors, you can use the `make
 mn-log` command to show the Mininet log. Verify that you see the following
-output (press Ctrl+C to exit):
+output (press Ctrl-C to exit):
 
 ```
 $ make mn-log 
@@ -279,7 +279,7 @@ You should see the following output:
 
 ```
 *** Attaching to Mininet CLI...
-*** To detach press ctrl+D (Mininet will keep running)
+*** To detach press Ctrl-D (Mininet will keep running)
 mininet> 
 ```
 

EXERCISE-2.md

@@ -389,7 +389,7 @@ In another window, open the Mininet CLI and start a ping:
 ```
 $ make mn-cli
 *** Attaching to Mininet CLI...
-*** To detach press ctrl+D (Mininet will keep running)
+*** To detach press Ctrl-D (Mininet will keep running)
 mininet> h1a ping h1b
 ```
 

Makefile

@@ -61,7 +61,7 @@ restart: reset start
 
 onos-cli:
 	$(info *** Connecting to the ONOS CLI... password: rocks)
-	$(info *** Top exit press ctrl+D)
+	$(info *** Top exit press Ctrl-D)
 	@ssh -o "UserKnownHostsFile=/dev/null" -o "StrictHostKeyChecking=no" -o LogLevel=ERROR -p 8101 onos@localhost
 
 onos-log:
@@ -72,7 +72,7 @@ onos-ui:
 
 mn-cli:
 	$(info *** Attaching to Mininet CLI...)
-	$(info *** To detach press ctrl+D (Mininet will keep running))
+	$(info *** To detach press Ctrl-D (Mininet will keep running))
 	-@docker attach --detach-keys "ctrl-d" $(shell docker-compose ps -q mininet) || echo "*** Detached from Mininet CLI"
 
 mn-log:

README.md

@@ -126,9 +126,9 @@ the exercises, here's a quick reference:
 | `make start`        | Start Mininet and ONOS containers                      |
 | `make stop`         | Stop all containers                                    |
 | `make reset`        | Stop containers and remove any state associated        |
-| `make onos-cli`     | Access the ONOS CLI (password: `rocks`, Ctrl+D to exit)|
+| `make onos-cli`     | Access the ONOS CLI (password: `rocks`, Ctrl-D to exit)|
 | `make onos-log`     | Show the ONOS log                                      |
-| `make mn-cli`       | Access the Mininet CLI (Ctrl+D to exit)                |
+| `make mn-cli`       | Access the Mininet CLI (Ctrl-D to exit)                |
 | `make mn-log`       | Show the Mininet log (i.e., the CLI output)            |
 | `make app-build`    | Build custom ONOS app                                  |
 | `make app-reload`   | Install and activate the ONOS app                      |