下面是如何向Agda2提交补丁的小操作:
你需要darcs公司以及darcs存储库的副本(请参阅上的说明下载).
一个好的做法是确保您拥有存储库的最新版本:
darcs拉力
然后将文件复制到存储库中需要它们的位置,例如:
cd Agda2/examples/AIM6/mkdir利基示例cp~/mystuff/利基示例/*利基示例/
下一步是将文件添加到本地darcs存储库:
darcs添加NiceExample NiceEx例如/*.agda
并将更改记录为darcs修补程序:
darcs record-m“这是一个很好的示例”
darcs应该问你一些问题,例如你的电子邮件地址以及你想实际记录的更改。
最后一步是将补丁发送给Ulf,以便他可以将其添加到全局存储库中。如果您的计算机上安装了有效的sendmail,您可以使用darcs发送
。否则,可以使用以下命令生成修补程序文件:
darcs发送-o niceexample.patch
然后你只需要发送niceexample.patch示例
到ulfn@cs.chalmers.se.
Howto公司