Rodrigo Arias Mallo
|
df62451fcd
|
sh: add helper script to fix the figure subtitle
|
2021-04-21 17:58:59 +02:00 |
|
Rodrigo Arias Mallo
|
d2222f6868
|
sh: Format the git table in a single attribute set
|
2021-04-20 17:36:33 +02:00 |
|
Rodrigo Arias Mallo
|
2aa099f0e2
|
sh: add script to build the gitTable
|
2021-04-20 17:36:33 +02:00 |
|
Rodrigo Arias Mallo
|
732b0c0e9c
|
garlic tool: improve unit status information
|
2021-04-16 09:29:33 +02:00 |
|
Rodrigo Arias Mallo
|
886d16bcc6
|
garlic tool: add jq as dependency
So we can parse the experiment configuration in JSON
|
2021-04-16 09:29:33 +02:00 |
|
Rodrigo Arias Mallo
|
26e3a86c78
|
garlic tool: check the presence of all the units
This check prevents a user from removing units between the
execution of the experiment and the fetch.
|
2021-04-16 09:29:33 +02:00 |
|
Rodrigo Arias Mallo
|
3445a72686
|
garlic tool: copy recursively from .garlic/
It allows an experiment to store a CTF trace in the resultTree (which is
not recommended for large traces).
|
2021-03-12 11:13:35 +01:00 |
|
Rodrigo Arias Mallo
|
c869b6e3b4
|
garlic: enable verbose rsync fetch
|
2021-02-25 11:38:29 +01:00 |
|
Rodrigo Arias Mallo
|
0b95ea20b7
|
garlicd: allow manual experiment executions
|
2021-02-25 11:37:58 +01:00 |
|
Rodrigo Arias Mallo
|
d51fe5db48
|
garlic tool: ensure the mountpoint is enabled
|
2021-02-15 16:18:21 +01:00 |
|
Rodrigo Arias Mallo
|
e5561b8735
|
control: save total execution time
|
2021-02-08 14:14:08 +01:00 |
|
Rodrigo Arias Mallo
|
fe760c0023
|
garlic: sent trebuchet output to stderr
|
2021-02-03 11:50:31 +01:00 |
|
Rodrigo Arias Mallo
|
5763b91d39
|
Use the trebuchet only to specify an experiment
|
2020-11-09 17:46:11 +01:00 |
|
Rodrigo Arias Mallo
|
476c2f20f0
|
Add manual and update the garlic tool
|
2020-11-05 19:31:21 +01:00 |
|
Rodrigo Arias Mallo
|
de6b4864ee
|
Add garlic tool manual
|
2020-11-05 19:29:40 +01:00 |
|
Rodrigo Arias Mallo
|
317409f6ac
|
Move index and out inside the user directory
|
2020-11-03 19:10:00 +01:00 |
|
Rodrigo Arias Mallo
|
6b40e6f9e9
|
Experimental garlic tool
|
2020-11-03 19:10:00 +01:00 |
|