Changer le serveur Batfish de destination de pybatfish

introduction

Lors du développement d'un programme python qui utilise batfish dans Windows

Serveur: démarrer le conteneur avec l'image Docker batfish / batfish PC local: utilisez batfish sur le serveur avec batfish / pybatfish

Méthode de réalisation

** Changez l'hôte répertorié dans pybatfish / client / options.py ** uniquement!

(Si vous avez installé pybatfish sur windows venv) répertoire venv /Lib/site-packages/pybatfish/client/options.py

(Dans le cas de linux venv) répertoire venv /lib/python3.6/site-packages/pybatfish/client/options.py

options.py


class Options(object):
     
    # coordinatior_host = "localhost"  # type: str
    coordinatior_host = "<Adresse IP du serveur>"  # type: str

Changé comme.

Avec cela, par exemple

python


from pybatfish.client.commands import *
from pybatfish.question.question import load_questions, list_questions
from pybatfish.question import bfq

load_questions()
bf_init_snapshot(<zip file or directory>) 

Crée un fichier instantané sur le docker du serveur lorsque vous exécutez.

Recommended Posts

Changer le serveur Batfish de destination de pybatfish
Changer le thème de Jupyter
Changer l'arrière-plan d'Ubuntu (GNOME)
Changer le suffixe de django-filter / DateFromToRangeFilter
Changer la longueur des chaînes csv Python
J'ai essayé le serveur asynchrone de Django 3.0
Changer l'ordre de PostgreSQL dans Heroku
Modifiez le fichier du serveur de destination de la connexion SSH sur le serveur avec VS Code
Changer la taille de police de la légende dans df.plot
Surveillez régulièrement la réponse HTTP du serveur Web
Changer la couleur des erreurs et avertissements Fabric
Changer la résolution d'Ubuntu s'exécutant sur VirtualBox
L'histoire du lancement d'un serveur Minecraft depuis Discord
[Touch Designer] Changer la couleur d'apparence du bouton COMP
[Django] Changer l'adresse IP par défaut de la commande runserver
Visualisation de la connexion entre le malware et le serveur de rappel
[Django 2.2] Trier et obtenir la valeur de la destination de la relation
[Python] Changeons l'URL du site administrateur de Django
Le début de cif2cell
Je veux changer la destination du lien symbolique de / lib64 de / usr / lib64 à / my-lib64 sur CentOS
Le sens de soi
le zen de Python
L'histoire de sys.path.append ()
La vengeance des types: la vengeance des types
[Python] Modifier le contrôle du cache des objets téléchargés sur Cloud Storage
À propos de l'événement de changement de caméra de l'API Google Maps Android
Changer la destination de sortie standard en un fichier en Python
Vérifiez l'état de la mémoire du serveur avec la commande gratuite Linux
Vérifiez l'état de fonctionnement du serveur avec la commande Linux top
Trouvé la cause de la communication mystérieuse du serveur Minecraft (Spigot)
Modifier la période de conservation des journaux CloudWatch Logs dans Lambda
Attacher au processus Python de la destination SSH et déboguer
Changer le volume de Pepper en fonction de l'environnement environnant (son)
Changez la destination d'installation lorsque --user est ajouté à pip
Installez la dernière version de Git sur votre serveur Linux