diff options
-rw-r--r-- | NEWS | 3 | ||||
-rwxr-xr-x | worker_manager | 8 |
2 files changed, 9 insertions, 2 deletions
@@ -20,6 +20,9 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. Version 0.23+git, not yet released ---------------------------------- +* The workspace is now mounted as `/workspace` in a container. If + `where` is `host` or `chroot`, it's still at + `/var/lib/ick/workspace`. Version 0.23, released 2018-01-22 ---------------------------------- diff --git a/worker_manager b/worker_manager index da7b23d..515f41a 100755 --- a/worker_manager +++ b/worker_manager @@ -391,9 +391,13 @@ class WorkerBase: argv = ['sudo', 'chroot', self._workspace] + argv elif self.where(work) == 'container': logging.debug('CONTAINER REQUESTED') + bind = '{}:/workspace'.format(self._workspace) + mp = '{}/workspace'.format(self._workspace) + if not os.path.exists(mp): + os.mkdir(mp) argv = [ - 'sudo', 'systemd-nspawn', '-D', self._systree, - '--bind', self._workspace, + 'sudo', 'systemd-nspawn', '-D', self._systree, '--bind', bind, + '--chdir', '/workspace', ] + argv else: logging.debug('HOST REQUESTED') |