From 072b942b1ea7c152fe0cc2ebccb53aeb5fa2d8d6 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Thu, 21 Dec 2023 15:37:30 +0200
Subject: [PATCH] temporary fix: sourced .bashrc to set $PATH

Signed-off-by: Lars Wirzenius <liw@liw.fi>
---
 src/main.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/main.rs b/src/main.rs
index bab0052..85bb153 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -149,7 +149,10 @@ fn run(
     log.write(format!("CI run spec: {:#?}\n", runspec))?;
 
     debug!("running CI in cloned repository");
-    let snippet = format!("set -xeuo pipefail\n{}", &runspec.shell);
+    let snippet = format!(
+        "set -xeuo pipefail\nsource $HOME/.bashrc\n\n{}",
+        &runspec.shell
+    );
     runcmd(&mut run_log, &["bash", "-c", &snippet], src)?;
 
     write_response(&Response::finished(RunResult::Success))?;