首页 > 系统相关 >Batfish (Bazel版) Windows使用 IDEA

Batfish (Bazel版) Windows使用 IDEA

时间:2023-08-24 10:14:07浏览次数:36  
标签:bazel Windows Batfish batfish IDEA Bazel Error

1. 安装Bazel

https://docs.bazel.build/versions/4.1.0/install-windows.html#installing-bazel , 按照Step一步步完成就可以了

需要安装MSY64,装在C:\msys64\下,按照这个改环境变量就可以 https://docs.bazel.build/versions/4.1.0/install-windows.html#troubleshooting

2. 修改batfish【vx收藏的文档】

3. IDEA debug configuration

image

--jvmopt=-ea
--jvmopt=-agentlib:jdwp=transport=dt_socket,server=y,suspend=n,address=5009

-runmode
interactive
-coordinatorargs
"-templatedirs C://Users//yrl//Desktop//network//Config-Error-Localization//project//batfish//questions
-containerslocation C://Users//yrl//Desktop//network//Config-Error-Localization//project//batfish//containers"
(最后这个参数好像没啥用)

标签:bazel,Windows,Batfish,batfish,IDEA,Bazel,Error
From: https://www.cnblogs.com/rulan/p/17653388.html

相关文章

  • Windows + Linux 双系统详细安装步骤
    对于新手来说,学习Linux系统有多种方式选择,可以选择虚拟机、可以选择直接安装Linux系统,下面主要和大家分享一下通过直接安装Linux系统的方法。 U盘启动盘的制作准备一个8G以上的U盘(其实4G就足够),备份资料,后面会对U盘进行格式化。然后去ubuntu的官网下载你想要安装......
  • 《Windows 汇编语言入门教程》 -- 系列教程
    5.12汇编语言:仿写While循环语句5.11汇编语言:仿写IF条件语句5.10汇编语言:汇编过程与结构5.9汇编语言:浮点数操作指令5.8汇编语言:汇编高效除法运算5.7汇编语言:汇编高效乘法运算5.6汇编语言:汇编高效数组寻址5.5汇编语言:函数调用约定5.4汇编语言:算数......
  • Windows中Jenkins更新后无法访问Jenkins网页端
    问题:升级完Jenkins后发现无法访问网页端,利用指令重启出现报错日志:十月17,20225:02:11下午executable.MainverifyJavaVersion严重:RunningwithJavaclassversion52,whichisolderthantheMinimumrequiredversion55.Seehttps://jenkins.io/redirect/java-suppo......
  • 在Windows系统中搭建C++刷算法题环境
    下载Docker首先,到Docker官方网站下载适合Windows系统的DockerDesktop并安装。下载Ubuntu镜像使用如下命令安装Ubuntu最新镜像:dockerpullubuntu在镜像中搭建C++编译环境使用如下命令启动一个ubuntu容器:dockerrun-itd--nameubt-cpp-v/d/code/algo:/dataubuntu使......
  • windows 桌面GUI自动化- 9.pywinauto 操作 MenuItem 菜单项
    前言pywinauto操作MenuItem菜单项,以及子菜单项。items()获取子菜单项以navicat为例操作,获取menu菜单项frompywinautoimportApplication#上海悠悠wx:283340479#blog:https://www.cnblogs.com/yoyoketang/app=Application('uia').start(r"D:\navicat\navicat1......
  • windows查看/删除DNS缓存
    一、查看DNS缓存打开CMD,输入ipconfig/displaydns二、删除DNS缓存打开CMD,输入ipconfig/flushdns......
  • windows 桌面GUI自动化- 8.pywinauto 获取控件属性和文本内容
    前言控件操作完成后,一般需要获取控件的属性对结果断言,判断是否符合预期。查看控件类型wrapper_object()方法可以查看控件类型frompywinautoimportApplicationapp=Application('uia').start("notepad.exe")win=app.window(title_re="无标题-记事本")m=win.ch......
  • windows man - Get-Help
    最近看到很多小朋友都在用win11的powershell,自己试了下,虽然不是很会,但是大受震撼。windows也能用man了,用的是powershell的Get-Help。这个不再是以前cmd那种简陋的help了,可以下载完整手册,也可以直接带上-o或者-online参数查看在线文档。 ......
  • Windows上使用主机名访问统信UOS上共享文件夹
    原文链接:Windows上使用主机名访问统信UOS上共享文件夹hello,大家好啊,今天给大家介绍一个在Windows上使用主机名访问统信UOS上共享文件夹的方法,我们在windows上除了可以使用pingIP地址的方式确定与其他主机是否通信正常,也可以直接ping其他主机的主机名从而来确定是否与该主机通信正......
  • 笔记:常用Linux命令:cd, cp, ls, mkdir, mv, rm, su, uname,以及对应windows的cmd的命令
    以下是一些常用的Linux命令及其功能:cd:用于切换当前工作目录。例如:cd/path/to/directory将当前目录更改为/path/to/directory。cp:用于复制文件或目录。例如:cpfile1.txtfile2.txt复制file1.txt文件并将其命名为file2.txt。ls:用于列出当前目录中的文件和目录。例如:ls......