diff --git a/doc/docker_install.md b/doc/docker_install.md index 72fb19ac0865ab0f23158b15a009a7769fa3d167..c528868c9cea210923f6ff9eefb53ac71e1cf1e0 100644 --- a/doc/docker_install.md +++ b/doc/docker_install.md @@ -17,10 +17,6 @@ Put the script directory of the `lrs_devenv_common` repo in your `PATH` and add ```bash export PATH="...../lrs_devenv_common/script:$PATH" - -export WORLD_ORIGIN_LAT=57.7605573519 -export WORLD_ORIGIN_LON=16.6827607783 -export WORLD_ORIGIN_ELEVATION=29.8 ``` Finally, pull (download) the latest version of the Development Docker Image. You may have to start a new `bash` shell for this to work (scripts such as `wpull` are in the script directory that was just added to your PATH):