Minisat

Minisat

Minisat ist ein Infrastrukturverwaltungstool, das auf dem Django-Framework basiert, um virtuelle Maschinen bereitzustellen und Docker-Container auf Remote-Hosts auszuführen.

Abhängigkeiten

• Installieren Sie die QEMU- und libvirt-Pakete

$ sudo dnf install qemu-kvm qemu-img libvirt libvirt-python libvirt-client virt-install -y

• Erstellen Sie einen öffentlichen SSH-Schlüssel

$ ssh-keygen -q -t rsa -f ~ /.ssh/id_rsa -N " "

• Docker-Maschine installieren

$ 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

So betreiben Sie Minisat

• Erstellen Sie Ihre virtuelle Python3-Umgebung

$ python3 -m venv < environment_name >

• Aktivieren Sie die virtuelle Umgebung

$ source < environment_name > /bin/activate

• Installieren Sie die Abhängigkeit mit pip

$ pip install -r requirements.txt

• Führen Sie Migrationen durch

$ python3 manage.py makemigrations
$ python3 manage.py migrate

• Führen Sie die Django-Web-App aus

$ python3 manage.py runserver

Containerisieren Sie Minisat

• Erstellen Sie ein Docker-Image

$ cd Minisat/
$ docker build -t minisat:latest .

• Führen Sie das Bild aus

$ docker container run -it -p 8000:8000 minisat:latest 0.0.0.0:8000

• Gehen Sie zu http://localhost:8000 für die Minisat-Benutzeroberfläche

Testumgebung erstellen

Alle Minisat-Pull-Anfragen werden in Travis-ci getestet. Wenn Tests fehlschlagen, besuchen Sie den Testjob, dessen Konsolenausgabe fehlgeschlagen ist.

Führen Sie dieselben Tests lokal mit Selen durch. Laden Sie den Selenium-Webtreiber für Mozilla Firefox herunter. Mozilla Geckodriver.

Extrahieren Sie den Treiber. Exportpfad

$ export PATH= $PATH /:/path/of/driver

Es wird eine Pfadvariable für den Webtreiber festgelegt.

Und führen Sie den Test durch

$ pytest

Lizenzierung

Minisat ist unter der GNU General Public License v3.0 lizenziert. Siehe LIZENZ