diff options
authorJoel Sherrill <>2019-12-12 16:20:37 -0600
committerJoel Sherrill <>2019-12-12 16:23:09 -0600
commit9316722c2bac6e524f82274486d47cd61e5ab066 (patch)
parent43e0d78453426c3714d86193dadaced5fa90f0d2 (diff)
user/hosts/posix.rst: Update Ubuntu instructions.
Note that the ticket has instructions for what to do if the error message "Error :: You must put some 'source' URIs in your sources.list" is reported. As this occurred on an Ubuntu version that was not LTS, it is not being added. If this error occurs in the future on a LTS release, then add this information. closes #3416.
1 files changed, 3 insertions, 2 deletions
diff --git a/user/hosts/posix.rst b/user/hosts/posix.rst
index 12bfc94..b46497c 100644
--- a/user/hosts/posix.rst
+++ b/user/hosts/posix.rst
@@ -126,8 +126,9 @@ Xubuntu. A minimal installation was used and the following packages installed:
.. code-block:: none
- $ sudo apt-get build-dep gcc-defaults g++ gdb git unzip pax bison \
- flex libpython-dev git libncurses5-dev zlib1g-dev
+ $ sudo apt-get build-dep build-essential gcc-defaults g++ gdb git \
+ unzip pax bison flex texinfo unzip python3-dev libpython-dev \
+ libncurses5-dev zlib1g-dev
Note that in previous versions of Ubuntu, the package libpython-dev was
python2.7-dev. The name of packages changes over time. You need the