diff --git a/jetty/install_ubuntu_src.md b/jetty/install_ubuntu_src.md index 79389d8575..6a1634eca5 100644 --- a/jetty/install_ubuntu_src.md +++ b/jetty/install_ubuntu_src.md @@ -62,21 +62,13 @@ The first step is to create a developer workspace in which `vcstool` and ```bash mkdir -p ~/workspace/src -cd ~/workspace/src -``` - -All the sources of gazebo-jetty are declared in a yaml file. Download -it to the workspace: - -```bash -curl -O https://raw.githubusercontent.com/gazebo-tooling/gazebodistro/master/collection-jetty.yaml +cd ~/workspace/ ``` - Use `vcstool` to automatically retrieve all the Gazebo libraries sources from their repositories: ```bash -vcs import < collection-jetty.yaml +vcs import --input https://raw.githubusercontent.com/gazebo-tooling/gazebodistro/master/collection-jetty.yaml src ``` The src subdirectory should contain all the sources ready to be built.