如何操作

下面是如何向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公司

页面上次修改时间:2008年5月5日晚上10:18
技术支持私人维基