Estimated read time: 1 minutes
i've just figured out how to append long comments to darcs patches from a script:
$ echo "date +"%a %b %d %H:%M:%S %Z %Y"
VMiklos vmiklos@frugalware.org name long comment" | dr rec -a --pipe
Estimated read time: 1 minutes
i've just figured out how to append long comments to darcs patches from a script:
$ echo "date +"%a %b %d %H:%M:%S %Z %Y"
VMiklos vmiklos@frugalware.org name long comment" | dr rec -a --pipe