git.annexia.org
/
goaljobs.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Pass a suspension to 'require'.
2013-09-18
Richard W.M. Jones
Pass a suspension to 'require'.
commit
|
commitdiff
|
tree
2013-09-18
Richard W.M. Jones
Fix curl return codes.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
Run all periodic jobs scheduled at the same time in...
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
On goal failure, exit with correct error message and...
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
Implement 'directory_exists' function.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
The Memory: Don't create empty file on first write.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
goaljobs: Remove temporary files properly.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
Add periodic jobs using 'every' keyword.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
-l/--goals option should exit after listing goals.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
example: Remove code which is now implicitly generated.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
Implement persistent Memory.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
Run sh/shout/shlines in a temporary directory.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
configure: Add quotes in error message.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
Implement // and quote.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
Implement url_exists, file_contains_string, url_contains_string.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
Rename config.ml -> goaljobs_config.ml to avoid conflicting...
commit
|
commitdiff
|
tree
2013-09-16
Richard W.M. Jones
Command line parsing, the concept of publishing goals.
commit
|
commitdiff
|
tree
2013-09-16
Richard W.M. Jones
Write 'goaljobs' script (wrapper around the compiler).
commit
|
commitdiff
|
tree
2013-09-16
Richard W.M. Jones
Update NOTES.
commit
|
commitdiff
|
tree
2013-09-16
Richard W.M. Jones
build: Get 'make install' working.
commit
|
commitdiff
|
tree
2013-09-16
Richard W.M. Jones
examples: Remove generated files when doing 'make clean'.
commit
|
commitdiff
|
tree
2013-09-16
Richard W.M. Jones
Add COPYING and README files.
commit
|
commitdiff
|
tree
2013-09-16
Richard W.M. Jones
First published version.
commit
|
commitdiff
|
tree
2013-09-15
Richard W.M. Jones
Initial revision.
commit
|
commitdiff
|
tree