Hi there;
I am trying to follow your instructions to compile the firmware in my linux machine, and I am encountering the following.
I run 00_bootstrap.sh without issues; but when I try to run the 01_make.sh script I get the following:

precious@BaCKuPS:/tmp/BuildEnvironmentATCMiThermometer$ ./01_make.sh
docker: Got permission denied while trying to connect to the Docker daemon socket at unix:///var/run/docker.sock: Post http://%2Fvar%2Frun%2Fdocker.sock/v1.40/containers/create: dial unix /var/run/docker.sock: connect: permission denied.
See 'docker run --help'.
precious@BaCKuPS:/tmp/BuildEnvironmentATCMiThermometer$ sudo !!
sudo ./01_make.sh
Unable to find image 'tc32:latest' locally
docker: Error response from daemon: pull access denied for tc32, repository does not exist or may require 'docker login': denied: requested access to the resource is denied.
See 'docker run --help'.
precious@BaCKuPS:/tmp/BuildEnvironmentATCMiThermometer$ docker --version
Docker version 19.03.13, build 4484c46d9d

I am running a headless Ubuntu server with Docker freshly installed.
Distributor ID: Ubuntu
Description: Ubuntu 16.04.6 LTS
Release: 16.04
Codename: xenial

I am quite new to docker, so perhaps that it the problem and I am missing something obvious.
Any help will be much appreciated :)

Hi folks!

This patch/hack makes the project handling with git a bit cumbersome:

My suggestion would be the following:
Cretate a separate mk file which:

• Would be patched/adjusted/generated by this tool
• Would be included by the makefile if exists (if not exists the standard TEL_PATH := ../.. would be used by the makefile)
• Add that mk file to the .gitignore in the thermometer project

This way I would need to alter back and forth the makefile before git commit.