Use Cinch Operating System

Use Cinch Operating System

What is Cinch?

gopigo_cinch-medWe’ve released a new version of our robot software for the Raspberry Pi called Cinch. Cinch is designed to make it even easier to connect to your robot and start programming!  Often homes and schools have complex wifi setups that make it hard to connect to the Raspberry Pi.

The Cinch Operating System solves this problem for Raspberry Pi Robots by allowing you to connect to your robot directly over wifi.  You can use any wifi enable device (such as a laptop, PC, a phone, or a tablet).  Cinch works by creating a wifi network with the Raspberry Pi, and allowing a computer to log-on to the Raspberry Pi.  This is often called wifi tethering, and it allows you to quickly and easily set up a connection with the Raspberry Pi and bypass any complex network issues on your school or home network.

A short table of contents:

cinchHow to Get Cinch

You can purchase an SD Card with Cinch already installed from Dexter Industries.  You can also download Cinch for free here and use our instructions for installing the software on your 8 GB microSD Card here.

How to Set up and Connect to Cinch

1.   Build your robot.  You can find instructions for the GoPiGo here, the BrickPi Here, and the GrovePi here.  

2.   Insert the Cinch microSD card into the Green Raspberry Pi board. (Please notice this picture just shows the Raspberry Pi green board, but the this green board should be connected to your robot (BrickPi, GrovePi, GrovePi, PivotPi) as you move through the next steps!)

raspberry-pi-closeup-with-sd-card-small

3.   Insert the Wifi Dongle into the Green Raspberry Pi board.  Do NOT plug in the Ethernet cable.

wifi_dongle

4.   Power up your Robot (plug in power adapter or connect batteries and turn on the switch!).  

5.   Look for the wifi network “dex” on your computer & connect to it.  There is no password required to connect to Cinch over wifi.  The wifi network may take a few minutes to appear.

find_the_dex_network

7.   Once connected to the “dex” wifi network, open a web browser and go to “http://dex.local”.  We recommend using Chrome, but for touchscreen laptops, you might want to use Firefox. (Note: sometimes if you can’t find “dex.local” try the address “http://10.10.10.10”)

connect_to_dex-local-1

8.   Now you can choose VNC (to get to the Dexter Desktop, which is probably where you want to go) or Terminal.

9.   If you choose VNC, you’ll be prompted to enter the password at the top.  Enter password “robots1234”, then hit enter. (To enter Terminal you will also need the username, “pi”.)

connect_to_novnc_in_browser

10.   Now you can see the Dexter Desktop, and can open Scratch (or another programming language)! For GoPiGo, continue here. For BrickPi, continue here.

cinch_novnc_browser

Cinch is now offered as a product to buy an SD card hereyou can also download it here and put it on your SD card yourself with directions found here!

Changing the Robot Name

 

  1. Turn on your GoPiGo (you can only change the name of one GoPiGo at a time). This first boot can take 2 or 3 minutes.
  2. Use your computer to connect to the “dex” wifi network, open a web browser (Chrome preferably) and go to this address: http://10.10.10.10
  3. Select the noVNC icon on the left.  Type in the password: robots1234
  4. Now it’s time to change the robot name:
    1. Click on the little Raspberry Menu in the top left corner of the screen.
    2. Click on Preferences.
    3. Click on Raspberry Pi Configuration.
  5. Click the “OK” button.
  6. Change the name (“dex” in this picture) to what you want it to be (for example “dex1”). Only use basic character (letter and numbers) – no punctuation and no spaces. Once you’ve entered your new name, click the “OK” button.
  7. Now you have to restart the robot. You will be presented with the “Reboot needed” dialog window automatically. Click the “Yes” button and let the robot reboot. This will take a few minutes.
  8. After a couple of minutes, the new name you chose will show up as a new wifi network for you to connect to. You can confirm that everything went well by connecting to the new wifi network once more and opening noVNC in your web browser. Sometimes an extra reboot may be necessary.
    • Please note that some computers can “see” a wifi network in the list of available networks for a few minutes after it has actually disappeared. So, you might even see the old name and new name show up for a minute or two. Just turn off your wifi on the computer, and turn it back on, and that should help clear out the old wifi network so you only see the real, live one with the new robot name.
  9. That’s it! Now your robot has a new name and you can move on to the next one.

Using Cinch with a Tablet or Phone

Cinch is the perfect operating system if you want to us your Raspberry Pi Robot with a phone or tablet.  By simply adding a keyboard and mouse to your tablet, you can control robots, program robots, and do everything you might want to with the Raspberry Pi.  To connect with a phone or tablet, you will need the following:

All the parts you need to connect your android device with your Raspberry Pi.

Once you have the necessary supplies, you can begin connecting!

1.   Power up the Raspberry Pi running the Cinch Operating system.

2.   Connect your wireless mouse and keyboard receiver to your OTG Cable.

3.   Connect your OTG Cable to your tablet.

cinch-android-tablet-8-small

4.   Connect your tablet to “dex” over wifi.  You should be able to find it in the list of available wifi SSID on your tablet.

cinch-android-tablet-5-small Connecting to Raspberry Pi from Table

5.   In your browser, enter “http://10.10.10.10” with your keyboard.

Connecting to Cinch Raspberry Pi from a Tablet

6.   Select noVNC and Login!  The standard password is “robots1234”

cinch-android-tablet-2-small

Using Cinch with a Chromebook

Cinch is the perfect operating system if you want to us your Raspberry Pi Robot with a Chromebook.  With a Chromebook and Cinch running on a Raspberry Pi, you can quickly setup and control robots, program robots, and do everything you might want to with the Raspberry Pi.  To connect with a Chromebook, you will need the following:

Once you have the necessary supplies, you can begin connecting!

Small Chromebook connected to the Raspberry Pi

1.   Insert the microSD Card with Cinch installed into the Raspberry Pi.

2.   Place the Dexter Industries wifi dongle into the Raspberry Pi.

wifi_dongle

3.   Power up the Raspberry Pi.  It can be connected to any one of our robots, including the GoPiGo, the GrovPi, and the BrickPi.

4.   After a few minutes, select the wifi network from your Chromebook called “dex”.  Select to connect to it.

cinch-chromebook-6-ssid-selection-small

5.   In your browser, type “http://10.10.10.10”

Connect to the Pi through your browser

6.   Form your browser select noVNC.

select novnc in the browser with the chromebook and raspberry pi

7.   Enter your password (the default is robots1234)

8.   You are connected!

cinch-chromebook-3-small

 

How to Update Cinch

At Dexter Industries we are constantly updating our software, our examples, and the operating system.  From time to time you may want to update your software for better performance.

To update the software, you will need to put your Raspberry Pi on the internet.  There are two ways to do this:

  1. You can connect your Pi to a network using Ethernet,
  2. You can connect through a computer that’s connected to the internet.

Once your Raspberry Pi is on the internet, you can update the Raspbian for Robots Software using the normal update method for Raspbian for Robots.

Option 1:  Connect Your Cinch Pi Directly Into An Internet-Connected Router.

  1.        Power off your Raspberry Pi.  You can leave it connected to your robot, or you can remove it from the robot.
  2.        Connect your Pi to your home wifi-router or school wifi-router via an Ethernet cable.  If you are updating at school you may need help from your systems administrator with this step.  One end of the Ethernet Cable should go into your Raspberry Pi, and one end into your router.  
  3. Place the wifi dongle in the Raspberry Pi.
  4. Power on the Pi. 
  5. You should see the lights next to the Ethernet port turn on.  You should see the light inside the wifi dongle start to blink.

 raspberry_pi_cinch_setup

6.      Connect to Cinch over wifi from your computer.  In other words, connect your computer’s wifi to the “dex” ssid.  This is the same way you normally connect to Cinch from a computer.

 dex_network

7.      On your computer, connect to Cinch using your browser.  Use the address 10.10.10.10:8001  (The colon and 8001 are very important).

Connecting to Cinch Through the Browser

8.      You should see noVNC come up.  Login using the password “robots1234”.

9.      Run the DI Update Software.

cinch_novnc_browser   connected_to_the_internet     update_the_software_on_cinch

10.    Wait for the update to complete.  At the end of the update you should see a large text banner in the terminal window showing “Update Complete”.

update_cinch-update_complete

11.    Once the update is complete, open the terminal program.

update_cinch-open_terminal_with_cinch

12.     In the command line, you can copy and paste the following command:  sudo sh /home/pi/di_update/Raspbian_For_Robots/upd_script/wifi/cinch_setup.sh

update_cinch-run_the_cinch_command_after_the_update

13.     After the update is complete you should see the command prompt again.  In the picture below that is the line that starts with “pi@dex”

update_cinch-the_end_of_the_cinch_command

14.     Disconnect the Ethernet cable and reboot your pi.  Cinch should be updated and you should be able  broadcasting at the ssid name “dex”!

Option 2:   Share Your Computer’s Internet Connection With the Pi.

 1.   Connect your PC or Mac to an internet-connected wifi network.

2.    Remove your wifi dongle from the Pi.

3.   Connect the Pi to your computer with an Ethernet cable.  Plug one end of the Ethernet Cable into your PC or Mac, and one end into your Raspberry Pi.  

update_cinch-connect_using_ethernet

4.   Power up the Raspberry Pi.

5.   Share your computer’s internet access with the Pi:

PC – Share Your Computer’s Internet Access With the Pi

1.   Open Control Panel –> Network and Internet –> Network Connections

pc-control-panel      pc-network-and-internet      pc-network_connections

2.   Find your Wireless Network Connection and right click it, select “Properties”

pc-click_properties

3.   Click the “Sharing” tab at the top.

pc-properties

4.   Click “Allow other network users to connect through this computer’s internet connection”

pc-sharing

5.   Click “Local Area Connection”

pc-click_local_area_connection

6.   Click “OK”

7.   After changing the properties, dex.local may disconnect from your browser.  It may take a minute or two for dex.local to become available.

8.   Refresh dex.local:8001

9.   You should be able to perform your update now!

Mac – Share Your Computer’s Internet Access With the Pi

1.   Open System Preferences on your Mac.

2.   In System Preferences, under Internet & Wireless, go into the Sharing menu.

mac-system_preferences_select_sharing

3.   Click “Internet” on the left hand side.

mac-click-internet-on-the-left-side-deselect-internet-sharing

4.   In the box “To computers using ” select Ethernet.

mac-click-internet-on-the-left-side-select-apple-usb

5.   Click “Internet” again.

mac-internet_is-being-shared

6.  Click “Start” when asked if you’re sure you want to turn on internet sharing.

mac-i_am_sure

7.   Wait a minute for the connection to register.

8.   Reload dex.local:8001

After the Pi is connected to the internet, run the update on your Raspberry Pi:

1.      On your computer, connect to Cinch using your browser.  Use the address 10.10.10.10:8001  (The colon and 8001 are very important).

Connecting to Cinch Through the Browser

8.      You should see noVNC come up.  Login using the password “robots1234”.

9.      Run the DI Update Software.

cinch_novnc_browser   connected_to_the_internet     update_the_software_on_cinch

10.    Wait for the update to complete.  At the end of the update you should see a large text banner in the terminal window showing “Update Complete”.

update_cinch-update_complete

11.    Once the update is complete, open the terminal program.

update_cinch-open_terminal_with_cinch

12.     In the command line, you can copy and paste the following command:  

sudo sh /home/pi/di_update/Raspbian_For_Robots/upd_script/wifi/cinch_setup.sh

update_cinch-run_the_cinch_command_after_the_update

13.     After the update is complete you should see the command prompt again.  In the picture below that is the line that starts with “pi@dex”

update_cinch-the_end_of_the_cinch_command

14.     Disconnect the Ethernet cable and reboot your pi.  Cinch should be updated and you should be able  broadcasting at the ssid name “dex”!

Questions

Have a question?  Ask on our forums here!

dex-icons-13

Learn More!

If you liked this tutorial, consider buying the SD Card with CINCH here.

EDUCATORS

Check out our DexterEd page to learn about our Classroom Kits, Curriculum and Teacher Trial program.