diff options
| author | Aria Shrimpton <me@aria.rip> | 2024-03-07 22:45:12 +0000 |
|---|---|---|
| committer | Aria Shrimpton <me@aria.rip> | 2024-03-07 22:45:12 +0000 |
| commit | 211c71ef3b0c56757dd37b406539ffd575d5dc43 (patch) | |
| tree | ff9925f367266630d26b68fe28bfe74872c6e679 | |
| parent | 6118c298ab827faf95e3a56193e476e699eee9da (diff) | |
merge multiple logs when fetch-log reused
| -rw-r--r-- | analysis/Justfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/analysis/Justfile b/analysis/Justfile index 6e356ac..8a4ba79 100644 --- a/analysis/Justfile +++ b/analysis/Justfile @@ -3,7 +3,7 @@ default: fetch-log job outp="current": mkdir -p {{justfile_directory()}}/{{outp}} - curl https://git.tardisproject.uk/tcmal/dissertation/-/jobs/{{job}}/raw > {{justfile_directory()}}/{{outp}}/log + curl https://git.tardisproject.uk/tcmal/dissertation/-/jobs/{{job}}/raw >> {{justfile_directory()}}/{{outp}}/log ./split-log.py {{justfile_directory()}}/{{outp}}/log grep -R -H -i 'error' {{justfile_directory()}}/{{outp}}/sections/ |