git.annexia.org
/
goaljobs.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add a command line tool for examining the goaljobs persistent memory.
[goaljobs.git]
/
goaljobs.mli
2014-03-08
Richard W.M. Jones
Add a command line tool for examining the goaljobs...
blob
|
commitdiff
2013-10-09
Richard W.M. Jones
debug: Print the name of goals that run, and goals...
blob
|
commitdiff
|
diff to current
2013-09-26
Richard W.M. Jones
Implement: onfail, onsuccess, onrun, log_program_output...
blob
|
commitdiff
|
diff to current
2013-09-20
Richard W.M. Jones
Lots of documentation.
blob
|
commitdiff
|
diff to current
2013-09-20
Richard W.M. Jones
sh: Add optional ?tmpdir parameter to control tmpdir...
blob
|
commitdiff
|
diff to current
2013-09-20
Richard W.M. Jones
Generate ocamldoc, multiple documentation fixes.
blob
|
commitdiff
|
diff to current
2013-09-18
Richard W.M. Jones
Pass a suspension to 'require'.
blob
|
commitdiff
|
diff to current
2013-09-17
Richard W.M. Jones
Implement 'directory_exists' function.
blob
|
commitdiff
|
diff to current
2013-09-17
Richard W.M. Jones
Add periodic jobs using 'every' keyword.
blob
|
commitdiff
|
diff to current
2013-09-17
Richard W.M. Jones
Run sh/shout/shlines in a temporary directory.
blob
|
commitdiff
|
diff to current
2013-09-17
Richard W.M. Jones
Implement // and quote.
blob
|
commitdiff
|
diff to current
2013-09-17
Richard W.M. Jones
Implement url_exists, file_contains_string, url_contain...
blob
|
commitdiff
|
diff to current
2013-09-16
Richard W.M. Jones
Command line parsing, the concept of publishing goals.
blob
|
commitdiff
|
diff to current
2013-09-16
Richard W.M. Jones
First published version.
blob
|
commitdiff
|
diff to current
2013-09-15
Richard W.M. Jones
Initial revision.
blob
|
commitdiff
|
diff to current