From 211c71ef3b0c56757dd37b406539ffd575d5dc43 Mon Sep 17 00:00:00 2001 From: Aria Shrimpton Date: Thu, 7 Mar 2024 22:45:12 +0000 Subject: merge multiple logs when fetch-log reused --- analysis/Justfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'analysis') 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/ -- cgit v1.2.3