如何为git-difftool指定difftool_args?
问题描述:
我想为git diff使用自定义比较工具。下面的命令做这项工作:如何为git-difftool指定difftool_args?
git difftool --tool nbdime "file.ipynb"
这将启动一个diff观众在网络上,使用以下参数:
{'difftool_args' : {'base': '/tmp/ZpUu2a_1 - file.ipynb',
'remote': 'file.ipynb'},
'port': 0,
'cwd': '/home/user/Projects/prj2'}
不过,我需要到指定端口为我difftool nbdime
我尝试以下(+其他排列):
git difftool --tool nbdime --port 5555 "file.ipynb"
,但没有得到ACC作为参数至作为difftool;那么如何提供difftool的参数呢?
答
关于nbdime
(Tools for diffing and merging of Jupyter notebooks.),因为它确实需要一个-p argument,我想包在一个脚本,这会:
- get all parameters
- 呼叫
nbdime
与paramters和港口
其实,该脚本存在:nbdime/webapp/nbdifftool.py
然后我会使用该脚本在git difftool --tool
指令中的pt(没有端口,因为所述端口设置在包装脚本中)