UPDATE3:
Based on this Docker low-level Python API and this DockerSpawner API, I created the following snippets, which I’ll try next week (and may have to tweak). If anyone knows how to do this, comments or suggestions (after reviewing the above) always welcome.
c.DockerSpawner.extra_host_config = dict()
[ ... snip ... ]
c.DockerSpawner.extra_host_config.update(
{'/sys/fs/cgroup' :
{'bind' : '/sys/fs/cgroup',
'mode' : 'ro' }}
)
--OR--
c.DockerSpawner.extra_host_config.update(
binds = {'/sys/fs/cgroup' :
{'bind' : '/sys/fs/cgroup',
'mode' : 'ro' }}
)