From 52f71cceb53df4ea212c37c37acd0d78750d9386 Mon Sep 17 00:00:00 2001 From: m-guberina <gubi.guberina@gmail.com> Date: Sun, 29 Sep 2024 21:01:57 +0200 Subject: [PATCH] instructions to install and run everything on windows have been added (procedure has been tested) --- docs/installing_ubuntu.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/docs/installing_ubuntu.md b/docs/installing_ubuntu.md index d9c6e76..8d0aae2 100644 --- a/docs/installing_ubuntu.md +++ b/docs/installing_ubuntu.md @@ -55,9 +55,15 @@ To oversimplify, Docker is virtualisation software which allows one to programatically set up a Linux virtual machine. After installing Docker, navigate to this project's directory in your CLI. Then: -1. build the image with "docker build -t ur_simple_control ." TODO: add volume mounting (copy Marcus' approach with a user and /home/user/) and networking (put it to host) -2. run the image FIRST RUN "xhost +", THEN RUN "docker run --rm -it --net=host -e DISPLAY=$DISPLAY -v /tmp:/tmp ur_simple_control" +1. install wsl with "wsl --install" in powershell administrator, more at https://learn.microsoft.com/en-us/windows/wsl/install +2. install docker on windows (with wsl option, should be default) +3. create the docker accout +4. open docker desktop, navigate to Settings (by user/account button) -> Resources -> Network -> click on enable host networking +4. open wsl (type wsl in powershell) and navigate to git folder (now in wsl) with cd /mnt/Users/YOURUSERNAME/PATH_TO_GIT_FOLDER +5. build the image with "docker build -t ur_simple_control ." +6. to run the image FIRST RUN "xhost +" EVERY TIME, THEN RUN "docker run --rm -it --net=host -e DISPLAY=$DISPLAY -v /tmp:/tmp ur_simple_control" +7. verify installation by running an example with --visualize-manipulator and --real-time-plotting arguments #### option 2) Native installation 1. Either create a disk partition for Ubuntu on your hard drive, or use an external hard drive. In the first case, you might need to shrink your existing partition. Searching for "how to create a disk partition [your_OS]" or "install ubuntu on [your_OS]" will get you all the information you need. Ideally, back up your data before any of this (you should be doing this in general as it's good practice). -- GitLab