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
** 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