When developing a python program that uses batfish on windows
Server: Start container with Docker image batfish / batfish Local PC: Use batfish on the server with batfish / pybatfish
** Change the host listed in pybatfish / client / options.py ** only!
(If you have pybatfish installed on windows venv) venv directory /Lib/site-packages/pybatfish/client/options.py
(In the case of linux venv) venv directory /lib/python3.6/site-packages/pybatfish/client/options.py
options.py
class Options(object):
# coordinatior_host = "localhost" # type: str
coordinatior_host = "<IP address of the server>" # type: str
Changed like.
With this, for example
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>)
Will create a snapshot file on the server docker when you run on windows.