15 Commits (8d2a3692a8a458c0adc3013ff8fd524c020b850a)

Author SHA1 Message Date
Leonid Plyushch 530f4ee737 scripts/run-docker.sh: use sudo for privileged operations (when changing uid/gid) 6 years ago
Wetitpig 708f47964a Remove relevant instructions 6 years ago
Wetitpig 7249559f48 Remove relevant instructions 6 years ago
Wetitpig 14931574cb Shell script compliance 6 years ago
Fredrik Fornwall 85de1498fa Fix mac error in scripts/run-docker.sh 6 years ago
Fredrik Fornwall 6c2e7ecd11 run-docker.sh: Allow multiple containers 6 years ago
Henrik Grimler d51d450fd1 Docker: login as "builder" even if run-docker.sh is run as root. 7 years ago
Fredrik Fornwall f71de096f6 run-docker.sh: Work around mac readlink 7 years ago
olg e3f9f42f4d Fix the uid in the docker container, but only when needed and make the bind mount work for arbitrary pwd... 7 years ago
hacknox 0e62bec8ef Use $HOME replace home path 8 years ago
hacknox 0ab8f46966 Fix root user $HOME path 8 years ago
hacknox e81c6eeccb fix docker volume read/write permission 8 years ago
Fredrik Fornwall 95761413f6 run-docker.sh: Use long option names 8 years ago
Fredrik Fornwall e59984067b Use non-root user when using docker 8 years ago
Fredrik Fornwall a005794323 Tweak build script and docker setup 9 years ago
Fredrik Fornwall 88183689ef Build and docker updates 9 years ago