From 4c7b2b09fcf0a1855729dce51941c71787f32619 Mon Sep 17 00:00:00 2001
From: lukstep <lukaszstepien02@gmail.com>
Date: Sat, 17 Sep 2022 08:50:15 +0200
Subject: [PATCH] Dockerfile improvments and fixes

---
 docker/Dockerfile | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index fbe5a1e..a649ad8 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -14,18 +14,19 @@ RUN apk update && \
             gcc-arm-none-eabi
 
 # Raspberry Pi Pico SDK
-RUN git clone https://github.com/raspberrypi/pico-sdk /usr/pico-sdk && \
-    cd /usr/pico-sdk  && \
+ARG SDK_PATH=/usr/share/pico_sdk
+RUN git clone https://github.com/raspberrypi/pico-sdk $SDK_PATH && \
+    cd $SDK_PATH && \
     git submodule update --init
 
-ENV PICO_SDK_PATH=/usr/pico-sdk
+ENV PICO_SDK_PATH=$SDK_PATH
 
 # Picotool installation
-RUN git clone -b master https://github.com/raspberrypi/picotool.git /usr/picotool && \
-    cd /usr/picotool && \
+RUN git clone -b master https://github.com/raspberrypi/picotool.git /home/picotool && \
+    cd /home/picotool && \
     mkdir build && \
     cd build && \
     cmake .. && \
     make && \
-    cp /usr/picotool/build/picotool /bin/picotool && \
-    rm -rf /usr/picotool
+    cp /home/picotool/build/picotool /bin/picotool && \
+    rm -rf /home/picotool