This is an old revision of the document!
If you have a main.py file and can not stop if to code using Thonny, you can always rename the file.
sudo pip3 install rshell rshell --quiet --port /dev/ttyACM0 cp /pyboard/main.py /pyboard/main-1.py rshell --quiet --port /dev/ttyACM0 rm /pyboard/main.py