Differences

This shows you the differences between two versions of the page.

--- tutorials:installing_paparazzi_using_docker [2016/04/30 23:59] – created amora
+++ tutorials:installing_paparazzi_using_docker [2022/09/20 00:08] (current) – external edit 127.0.0.1
@@ Line 5: / Line 5: @@
 ===== Installing Docker =====
-This instructions are for Debian. If you use another Linux distribution, check the installation instructions on the [[https://docs.docker.com/engine/installation/|Docker Page]].
+This instructions are for Debian. If you use another Linux distribution, check the installation instructions on the [[https://store.docker.com/search?type=edition&offering=community|Docker Page]].
 Docker is supported on the following versions:
-  * Debian testing stretch (64 bits)
+  * Debian Stretch (64 bits)
-  * Debian 7.7 Wheezy (64 bits)
   * Debian 8.0 Jessie (64 bits)
+  * Debian 7.7 Wheezy (64 bits)
 ==== Prerequisites ====
@@ Line 25: / Line 25: @@
 ==== Installing instructions ====
-  * Purge any older repositories.
+  * Purge any older versions of Docker.
-     $ apt-get purge lxc-docker*
+     $ sudo apt-get remove docker docker-engine docker.io
-     $ apt-get purge docker.io*
-  * Update package information, ensure that APT works with the https method, and that CA certificates are installed.
+  * Update package information, ensure that APT works with the https method, and that CA certificates are installed. If you are using Jessie or Stretch use this:
-     $ apt-get update
+     $ sudo apt-get update
-     $ apt-get install apt-transport-https ca-certificates
+     $ sudo apt-get install apt-transport-https ca-certificates curl gnupg2 software-properties-common
+If you are using Wheezy use this:
+     $ sudo apt-get update
+     $ sudo apt-get install apt-transport-https ca-certificates curl gnupg2 python-software-properties
   * Add the new GPG key
-     $ apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
+     $ curl -fsSL https://download.docker.com/linux/debian/gpg | sudo apt-key add -
   * Open the /etc/apt/sources.list.d/docker.list file in your favorite editor. If the file doesn’t exist, create it.
@@ Line 45: / Line 49: @@
   * Add an entry for your Debian operating system.
-On Debian Wheezy
+On Debian Stretch
-    deb https://apt.dockerproject.org/repo debian-wheezy main
+    deb [arch=amd64] https://download.docker.com/linux/debian stretch stable
 On Debian Jessie
-    deb https://apt.dockerproject.org/repo debian-jessie main
+    deb [arch=amd64] https://download.docker.com/linux/debian jessie stable
-On Debian Stretch/Sid
+On Debian Wheezy
-    deb https://apt.dockerproject.org/repo debian-stretch main
+    deb [arch=amd64] https://download.docker.com/linux/debian wheezy stable
   * Save and close the file.
@@ Line 61: / Line 65: @@
   * Update the APT package index
-    $ apt-get update
+    $ sudo apt-get update
   * Install Docker.
-    $ sudo apt-get install docker-engine
+    $ sudo apt-get install docker-ce
   * Start the docker daemon.
@@ Line 113: / Line 117: @@
     $ git clone https://github.com/paparazzi/paparazzi.git
-  * Enter the docker directory in the Paparazzi repository
+  * Enter the docker directory in the cloned Paparazzi repository
     $ cd paparazzi/docker
-  *
+  * Build the Paparazzi docker image
+    $ sudo make build
+  * Make the Paparazzi binaries
+    $ sudo make bash
+    $ make
+    $ exit
+  * After this, you can run Paparazzi by typing in a terminal
+    $ sudo make paparazzi
+Any modification in the cloned Paparazzi repository will be reflected in the Paparazzi docker image.