Рабочий образ можно получить по следующей ссылке .

Чтобы его запустить на машине с linux надо:

1. Установить docker пример установки

apt-get install docker.io

добавить текущего пользователя в группу

docker (файл /etc/group)

перелогиниться

2. Запустить новый контейнер с указанного образа

docker run -it krinkin/se-ubuntu  /bin/bash

3. После этого управление переходит в контейнер. Основные команды контейнера:

docker run -it krinkin/se-ubuntu  /bin/bash

Материалы по Docker: