Minisat

Minisat

Minisat est un outil de gestion d'infrastructure, construit sur le framework Django, pour provisionner des machines virtuelles et exécuter des conteneurs Docker sur des hôtes distants.

Dépendances

• Installer les packages QEMU et libvirt

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

• Créer une clé publique ssh

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

• Installer la machine Docker

$ 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

Comment exécuter Minisat

• Créez votre environnement virtuel python3

$ python3 -m venv < environment_name >

• Activer l'environnement virtuel

$ source < environment_name > /bin/activate

• Installer la dépendance à l'aide de pip

$ pip install -r requirements.txt

• Exécuter des migrations

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

• Exécuter l'application Web Django

$ python3 manage.py runserver

Conteneuriser Minisat

• Créer une image Docker

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

• Exécuter l'image

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

• Rendez-vous sur http://localhost:8000 pour l'interface utilisateur de Minisat

Créer un environnement de test

Toutes les demandes de tirage Minisat sont testées dans Travis-ci. Si les tests échouent, visitez la tâche de test qui n'a pas réussi à afficher la sortie de sa console.

Exécutez ces mêmes tests localement en utilisant du sélénium. Téléchargez le pilote Web Selenium pour Mozilla Firefox. Mozilla geckodriver.

Extrayez le pilote. Chemin d'exportation

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

Il définira une variable de chemin vers le pilote Web.

Et fais le test

$ pytest

Licence

Minisat est sous licence GNU General Public License v3.0. Voir LICENCE