fix #49, increase buffer size, and use depth 1

ros-realtime · May 7, 2023 · d8bd130 · d8bd130
1 parent 1e89c62
commit d8bd130
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -98,7 +98,8 @@ RUN if test -z $UNAME_R; then UNAME_R=`curl -s http://ports.ubuntu.com/pool/main
 # install linux sources from git
 RUN mkdir /home/user/linux_build \
     && cd /home/user/linux_build \
-    && time git clone -b master --single-branch https://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux-raspi/+git/${UBUNTU_VERSION} ${KERNEL_DIR} \
+    && git config --global https.postBuffer 1048576000 \
+    && time git clone -b master --depth 1 --single-branch https://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux-raspi/+git/${UBUNTU_VERSION} ${KERNEL_DIR} \
     && cd ${KERNEL_DIR} \
     && git fetch --tag