use /work instead of /tmp for the current directory

docker/controller.py

@@ -917,9 +917,9 @@ class JobManager(Manager):
 
             ctrl.check_host_path("isdir", job_path)
             info.ctr_id = info.client.create_container(image, name=info.ctr_name,
-                    working_dir = "/tmp",   # TODO use another dir
                     # TODO parse quotes in job.param (instead of a rough .split())
                     #
+                    working_dir = "/work",
                     # NOTE: the command line is a little complex, but this is
                     #   to ensure that:
                     #   - no output is lost (we go though a pipe in case the
@@ -948,7 +948,7 @@ class JobManager(Manager):
 
                     labels = {"allgo.tmp_img": tmp_img or ""},
                     host_config = ctrl.sandbox.create_host_config(
-                        binds = {job_path: {"bind": "/tmp"}},
+                        binds = {job_path: {"bind": "/work"}},
                         cap_drop = ["all"],
                         # FIXME: CAP_DAC_OVERRIDE needed because all nfs files have uid,gid=1000,1000
                         cap_add = ["dac_override"],