diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-06-09 23:24:05 -0400 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-06-10 00:57:00 -0400 |
commit | e35383a76f0a1d1ba01f4b355d8df4ac341216b3 (patch) | |
tree | 7b9e08170cedeae7260a88afedddb8cc5cf613d1 /gnu/system | |
parent | 352f23f71cdfd2f72a77906551b74f2d13f63688 (diff) |
gnu: docker: Replace tini by tini-static.
The dynamically linked tini could fail in some environments, causing 'docker
run' to exit with the following unhelpful error message:
standard_init_linux.go:219: exec user process caused: no such file or
directory
Use the statically linked tini binary instead, which should work everywhere.
* gnu/packages/docker.scm (docker)[phases]{patch-paths}: Replace 'tini' by
'tini-static'.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions