git.annexia.org
/
whenjobs.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Persist variables to file (~/.whenjobs/variables).
[whenjobs.git]
/
lib
/
whenutils.ml
2012-03-23
Richard W.M. Jones
Renumber the jobs file so that it can be reloaded in...
blob
|
commitdiff
2012-03-21
Richard W.M. Jones
Enable native code compilation when ocamlopt is available.
blob
|
commitdiff
|
diff to current
2012-02-23
Richard W.M. Jones
Add commands to list, cancel, start jobs.
blob
|
commitdiff
|
diff to current
2012-02-23
Richard W.M. Jones
Move string_of_time_t to Whenutils module.
blob
|
commitdiff
|
diff to current
2012-02-23
Richard W.M. Jones
Split large 'Whenutils' module into two (creating new...
blob
|
commitdiff
|
diff to current
2012-02-21
Richard W.M. Jones
Comment: compare_values should be able to promote numer...
blob
|
commitdiff
|
diff to current
2012-02-21
Richard W.M. Jones
Fix comparisons in 'increases' and 'decreases' functions.
blob
|
commitdiff
|
diff to current
2012-02-21
Richard W.M. Jones
Remove Whenutils.no_job_private and refactor prev-relat...
blob
|
commitdiff
|
diff to current
2012-02-21
Richard W.M. Jones
Add unit variable type and 'reloaded()' function.
blob
|
commitdiff
|
diff to current
2012-02-21
Richard W.M. Jones
Fix error message; arguments were swapped around.
blob
|
commitdiff
|
diff to current
2012-02-21
Richard W.M. Jones
Prevent users from setting JOBSERIAL and from setting...
blob
|
commitdiff
|
diff to current
2012-02-21
Richard W.M. Jones
Add new when-expression operators.
blob
|
commitdiff
|
diff to current
2012-02-21
Richard W.M. Jones
Export string_of_variable utility function.
blob
|
commitdiff
|
diff to current
2012-02-21
Richard W.M. Jones
Miscellaneous utility functions.
blob
|
commitdiff
|
diff to current
2012-02-21
Richard W.M. Jones
Fix matching on true/false identifier (for boolean...
blob
|
commitdiff
|
diff to current
2012-02-20
Richard W.M. Jones
Scheduling of every-jobs.
blob
|
commitdiff
|
diff to current
2012-02-20
Richard W.M. Jones
Add filter_map utility.
blob
|
commitdiff
|
diff to current
2012-02-18
Richard W.M. Jones
whenjobs initial version.
blob
|
commitdiff
|
diff to current