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 授權。查看許可證