Minisat
v1.0
Minisat 是一个基础设施管理工具,基于 Django 框架构建,用于配置虚拟机并在远程主机上运行 Docker 容器。
$ sudo dnf install qemu-kvm qemu-img libvirt libvirt-python libvirt-client virt-install -y
$ ssh-keygen -q -t rsa -f ~ /.ssh/id_rsa -N " "
$ curl -L https://github.com/docker/machine/releases/download/v0.13.0/docker-machine- ` uname -s ` - ` uname -m ` > /tmp/docker-machine && sudo install /tmp/docker-machine /usr/local/bin/docker-machine
$ python3 -m venv < environment_name >
$ source < environment_name > /bin/activate
$ pip install -r requirements.txt
$ python3 manage.py makemigrations
$ python3 manage.py migrate
$ python3 manage.py runserver
$ cd Minisat/
$ docker build -t minisat:latest .
$ docker container run -it -p 8000:8000 minisat:latest 0.0.0.0:8000
所有 Minisat 拉取请求均在 Travis-ci 中进行测试。如果测试失败,请访问失败的测试作业以查看其控制台输出。
使用 selenium 在本地运行这些相同的测试。下载适用于 mozilla firefox 的 selenium webdriver。 Mozilla Geckodriver。
提取驱动程序。导出路径
$ export PATH= $PATH /:/path/of/driver
它将设置网络驱动程序的路径变量。
并运行测试
$ pytest
Minisat 根据 GNU 通用公共许可证 v3.0 获得许可。查看许可证