(venv_xk) jenkins@jenkins-4139:~/workspace/count_keys$ printenv | grep DISCO
DISCO_HOME=
DISCO_MASTER=disco-master
DISCO_MASTER_HOST=disco-master