docs : Improved REPL information regarding serial terminals screen and picocom

README.md

@@ -17,10 +17,20 @@ with an ARM compiler toolchain (eg arm-none-eabi-gcc and friends).
 Ubuntu users can install the needed packages using:
 ```
 sudo add-apt-repository -y ppa:team-gcc-arm-embedded
-sudo add-apt-repository -y ppa:pmiller-opensource/ppa
 sudo apt-get update
-sudo apt-get install cmake ninja-build gcc-arm-none-eabi srecord libssl-dev
-pip3 install yotta
+sudo apt-get install gcc-arm-embedded
+sudo apt-get install cmake ninja-build srecord libssl-dev
+sudo -H pip3 install yotta
+```
+
+Download the project, clicking the `Download or clone` button above, then select 
+`Download zip`. This will place a `micropython-master.zip` in your `~/Dowloads`
+directory. Unzip it and change to that directory
+
+```
+cd ~/Downloads
+unzip micropython-master.zip
+cd micropython-master
 ```
 
 Once all packages are installed, use yotta and the provided Makefile to build.

docs/devguide/repl.rst

@@ -78,16 +78,32 @@ In PuTTY:
 
 **Mac OS**
 
-Open Terminal and type ``screen /dev/cu.usbmodem1422 115200``, replacing 
-``/dev/cu.usbmodem1422`` with the port you found earlier. This will open the 
-micro:bit's serial output and show all messages received from the device. To 
-exit, press Ctrl-A then Ctrl-D.
+Open Terminal and type ``screen /dev/cu.usbmodem1422 115200``, replacing
+``/dev/cu.usbmodem1422`` with the port you found earlier. This will open the
+micro:bit's serial output and show all messages received from the device.
+
+To exit, press Ctrl-A then Ctrl-\\ and answer Yes to the question. There are
+many ways back to a command prompt including Ctrl-A then Ctrl-D, which will
+detach screen, but the serial port with still be locked, preventing other
+applications from accessing it. You can then restart screen by typing
+``screen -r``. Typing ``screen /dev/cu.usbmodem1422 115200`` results in rather
+unhelpful error output ``[screen is terminating]``
 
 
 **Linux**
 
-Using the ``screen`` program, type ``screen /dev/ttyUSB0 115200``, replacing 
+Using the ``screen`` program, type ``screen /dev/ttyUSB0 115200``, replacing
 ``/dev/ttyUSB0`` with the port you found earlier.
 
-Using ``picocom``, type ``picocom /dev/ttyACM0 -b 115200``, again replacing 
-``/dev/ttyACM0`` with the port you found earlier. 
+To exit, press Ctrl-A then \\ and answer Yes to the question. There are many
+ways back to a command prompt including Ctrl-A then Ctrl-D, which will detatch
+screen. All serial output from the micro:bit will still be received by
+``screen``, the serial port will be locked, preventing other applications from
+accessing it. You can restart screen by typing ``screen -r``. Typing
+``screen /dev/ttyUSB0 115200`` results in rather unhelpful error output
+``[screen is terminating]``
+
+Using ``picocom``, type ``picocom /dev/ttyACM0 -b 115200``, again replacing
+``/dev/ttyACM0`` with the port you found earlier.
+
+To exit, press Ctrl-A then Ctrl-Q.