This is an old revision of the document!
Table of Contents
Installing Paparazzi using Docker
In this tutorial will be installing Paparazzi using Docker. Docker is an open platform used to build, ship, and run distributed applications.
Installing Docker
This instructions are for Debian. If you use another Linux distribution, check the installation instructions on the Docker Page.
Docker is supported on the following versions:
- Debian testing stretch (64 bits)
- Debian 7.7 Wheezy (64 bits)
- Debian 8.0 Jessie (64 bits)
Prerequisites
Check that your kernel version is 3.10 or newer. Kernels older than 3.10 lack some of the features required to run Docker containers. These older versions are known to have bugs which cause data loss and frequently panic under certain conditions.
To check your kernel version, type in a terminal
$ uname -r
If is older than 3.10, please update it.
Installing instructions
- Purge any older repositories.
$ apt-get purge lxc-docker* $ apt-get purge docker.io*
- Update package information, ensure that APT works with the https method, and that CA certificates are installed.
$ apt-get update $ apt-get install apt-transport-https ca-certificates
- Add the new GPG key
$ apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
- Open the /etc/apt/sources.list.d/docker.list file in your favorite editor. If the file doesn’t exist, create it.
- Remove any existing entries.
- Add an entry for your Debian operating system.
On Debian Wheezy
deb https://apt.dockerproject.org/repo debian-wheezy main
On Debian Jessie
deb https://apt.dockerproject.org/repo debian-jessie main
On Debian Stretch/Sid
deb https://apt.dockerproject.org/repo debian-stretch main
- Save and close the file.
- Update the APT package index
$ apt-get update
- Install Docker.
$ sudo apt-get install docker-engine
- Start the docker daemon.
$ sudo service docker start
- Verify docker is installed correctly.
$ sudo docker run hello-world
If displays a message like this
Unable to find image 'hello-world:latest' locally latest: Pulling from library/hello-world 535020c3e8ad: Pull complete af340544ed62: Pull complete Digest: sha256:a68868bfe696c00866942e8f5ca39e3e31b79c1e50feaee4ce5e28df2f051d5c Status: Downloaded newer image for hello-world:latest Hello from Docker. This message shows that your installation appears to be working correctly. To generate this message, Docker took the following steps: 1. The Docker Engine CLI client contacted the Docker Engine daemon. 2. The Docker Engine daemon pulled the "hello-world" image from the Docker Hub. 3. The Docker Engine daemon created a new container from that image which runs the executable that produces the output you are currently reading. 4. The Docker Engine daemon streamed that output to the Docker Engine CLI client, which sent it to your terminal. To try something more ambitious, you can run an Ubuntu container with: $ docker run -it ubuntu bash Share images, automate workflows, and more with a free Docker Hub account: https://hub.docker.com For more examples and ideas, visit: https://docs.docker.com/userguide/
Docker is succesfully installed.
Installing Paparazzi
- Clone the official Paparazzi repository
$ git clone https://github.com/paparazzi/paparazzi.git
- Enter the docker directory in the cloned Paparazzi repository
$ cd paparazzi/docker
- Build the Paparazzi docker image
$ make build
- Make the Paparazzi binaries
$ make bash $ make $ exit
- After this, you can run Paparazzi by typing in a terminal
$ make paparazzi
Any modification in the cloned Paparazzi repository will be reflected in the Paparazzi docker image.