Please refer to the installation documentation on GitHub.
EEGsynth is more robust on Linux and MacOS. For Windows, although there are many options (such as cygwin, mingw, msys, powershell, WSL, VirtualBox) some limitations in certain features may occur. For this reason, it is recommended to use a Raspberry Pi, which is an inexpensive microcomputer, or alternatively create a Linux partition on your PC and select operating system at startup (dual boot).
If you decide to use a Raspberry Pi, please refer to the following section. Instructions for creating a Linux partition on your PC are mentioned further down this page.
Connection of a Raspberry Pi to a computer
- If the Raspberry Pi does not have an operating system preinstalled, proceed to download of the Raspbian operating system from this link: https://www.raspberrypi.org/downloads. The operating system is an .img (image) file in a zip folder.
- After download, follow the instructions from the link https://www.raspberrypi.org/documentation/installation/installing-images/README.md to transfer the file to a MicroSD card.
- Insert the MicroSD card in the Raspberry Pi and connect to power. (Please note that a 5V/3A charger is required for the Raspberry Pi).
- You now have a Linux system running on the Raspberry Pi and you must access it via your computer. In order to do that you have to set up an SSH connection. Your computer must be connected to a router (via Wi-Fi or cable).
- Connect the Raspberry Pi to your computer (using for instance an ethernet cable). The Raspberry Pi will be assigned an IP address by your router. You need to find this IP address and in order to do that you must access the interface that controls your router.
- Routers are manufactured to use the default address 192.168.0.1. Enter this at the address bar of your browser. You will then need the username and password of your router. (For CRI | username: admin, password: admin). Navigate to the Wi-Fi section of the router and search for “raspberrypi”. Take note of the IP address. If for some reason you cannot access the interface, you can also use a free tool like the Advanced IP Scanner which you can download on your computer from this link http://www.radmin.com/products/ipscanner/. You will obtain an IP for Manufacturer “Raspberry Pi Foundation” (more information: http://www.hobbytronics.co.uk/raspberry-pi-ss). Alternatively, if you have a display and a keyboard for the Raspberry Pi, you can also enter at the command line of the Pi the command “sudo ifconfig”.
- Use an SSH client like PuTTY (http://www.putty.org/) in order to establish a connection. Download the client at your computer and enter the IP address of the Raspberry Pi.
- A command-line window for Linux commands will open. This is the command-line of the Raspberry Pi. Enter id "pi" and when prompted enter password "raspberry".
- Please note that you have to shut down the Raspberry Pi by using SSH and typing "sudo shutdown now" at the command-line or alternalively by using the graphical interface of the operating system. Failure to do so may result in data corruption and need for reinstallation.
Installation of TeamViewer for remote control of a Raspberry Pi using an ID
(including viewing its desktop e.g. in the absence of a display)
- Connect a display and a keyboard (and mouse) to the Raspberry Pi and download “TeamViewer Host for Raspberry Pi” from the link https://www.teamviewer.com/en/download/linux (please scroll down – do not use the Linux Debian version).
- Double-click to initiate installation and proceed to authentication by providing “id” and “password”.
- To address unmet dependencies enter the command “sudo apt-get update” and wait until all package details are downloaded. Then use “sudo apt-get -f install” to install all the dependencies or use “sudo apt-get -f upgrade” to install dependencies as well as upgrade other modules. Proceed to reboot. (Ref.: https://www.techrrival.com/install-teamviewer-raspberry-pi/)
- Create a TeamViewer account to connect to the devices. When you set up TeamViewer on your computer as well as the Raspberry Pi, an ID is generated for each device. If you use your account to connect to the Raspberry Pi, you just need to provide the ID of the Raspberry Pi to remotely connect to it. If you do not log in to your account, or if another TeamViewer account is used to connect to this ID, you will be asked to provide the password that appears on the display of the Raspberry Pi.
Installation of VNC client for remote control of a Raspberry Pi using its IP address
(If you do not have a display for instance for one-time setup, use this tool to view the Pi desktop on your computer)
- At the Pi terminal via the SSH connection mentioned above enter the following commands:
$ sudo apt-get update
$ sudo apt-get install tightvncserver
- Start the VNC server on the Pi:
$ vncserver :1
- Enter and confirm password (8 character long). There is no need to create a "read-only" password (select No).
- Download VNC viewer on your computer from this link https://www.realvnc.com/en/connect/download/viewer/ and proceed to installation.
- Run the VNC viewer, enter the IP address of the Raspberry Pi and add :1 at the end of the address (append to 1 for port number).
- You will receive a warning message. Press "Continue".
- Enter the password of your Pi. The Raspberry Pi desktop should appear as a VNC window.
Installation of Linux alongside Windows – Choose operating system when your computer starts
There are different Linux systems. If you have never used Linux before it is recommended to start with Ubuntu. Download the latest version of “Ubuntu desktop” from the official link https://www.ubuntu.com/download. You may consider choosing the Long-Term Support version (LTS).
Copy the operating system file on a DVD (burn it on a DVD) or use a very easy writing and formatting procedure with specific software to transfer it on a USB flash drive. This procedure formats the USB flash drive to create a bootable partition and deletes all contents on the flash drive (but you can still use it for storage purposes afterwards). Both are described in tutorials on the bottom of the page at the link above at the section “Easy ways to switch from Ubuntu” – “From Windows”. Specifically:
- How to burn a DVD on Windows https://tutorials.ubuntu.com/tutorial/tutorial-burn-a-dvd-on-windows
- How to create a bootable USB stick on Windows (it is not possible to just copy the operating system file on the USB drive) https://tutorials.ubuntu.com/tutorial/tutorial-create-a-usb-stick-on-windows
Please note that the installation tutorial at the Ubuntu site is found at the following link: https://tutorials.ubuntu.com/tutorial/tutorial-install-ubuntu-desktop. (Another reference link is: https://askubuntu.com/questions/6328/how-do-i-install-ubuntu). Here are some accompanying notes for using a bootable USB flash drive (the procedure is similar for the DVD):
Connect the USB flash drive to your computer. You must now boot from it. To do that click on the Windows button and write in the search box “Change advanced startup options”. Find the “Advanced startup option” and click on the “Restart now” button underneath. When prompted select the USB drive. Alternatively, restart your computer and keep pressed either F12, or F2, or Esc depending on the manufacturer of your computer.
When the computer reboots you will have different options among which “Try Ubuntu without installing” and “Install Ubuntu”. Proceed to installation and search for the “Install alongside Windows” option. It is possible that this option does not appear. If that is the case, quit the procedure and return to Windows. Click on the Windows button and write in the search box “Disk management” which will give you the option “Create and format hard disk partitions”. Create an amount of unallocated space by shrinking your (C:) partition. To do that right click on the rectangle OS (C:) and select “Shrink volume”. You will be prompted to “enter the amount of space to shrink in MB”. If you want to create a 50 GB partition, then multiply 50 GB by 1024. That is equal to 51000. Enter the value and click on “Shrink”. (Reference tutorial: https://www.youtube.com/watch?v=qNeJvujdB-0)
Reboot from the USB drive as mentioned above and proceed to Linux installation. The “Install along Windows" option should appear now. If you select that option you will get a message that will look similar to the following one:
“If you continue, the changes below will be written to the disks. Otherwise, you will be able to make further changes manually.”
“The partition tables of the following devices are changed:
SCSI1 (0,0,0) (sda)
The following partitions are going to be formatted:
partition#7 of SCSI1 (0,0,0) (sda) as ext4
partition#8 of SCSI1 (0,0,0) (sda) as swap”
You will be prompted for a username and a computer name. Please note that both these elements will appear on the terminal (command line) prompt as username@computername.
Attention: It is possible that Windows will consider the installation of Ubuntu as an intrusion and that you will be locked out of your PC! In that case you just need to obtain your BitLocker recovery key to sign back in. Click on this link https://support.microsoft.com/en-us/help/17133/windows-8-bitlocker-recovery-keys-frequently-asked-questions. Refer to section “How can I get my BitLocker recovery key?” and for instance the option “Your Microsoft account online” (sign in with your Microsoft email).