git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Change whenjobs --set syntax (NOTE: breaks compatibility).
[whenjobs.git]
/
tools
/
tutorial.ml
diff --git
a/tools/tutorial.ml
b/tools/tutorial.ml
index
b0df108
..
397b96f
100644
(file)
--- a/
tools/tutorial.ml
+++ b/
tools/tutorial.ml
@@
-31,7
+31,7
@@
every 10 minutes :
# Get free blocks in /home
free=`stat -f -c %b /home`
# Set the variable 'free_space'
- whenjobs --
type int --set free_space
$free
+ whenjobs --
set --type int free_space=
$free
>>
Use 'when <expr> : << >>' runs the shell script only when