From 675e10b3b81414a71ddd28cfbb336d57594f1ac1 Mon Sep 17 00:00:00 2001
From: Antoine Vaure <antoine.vaure@allegrodvt.com>
Date: Mon, 14 Jul 2025 12:41:38 +0200
Subject: [PATCH] add fish alias for ./run_in_container.sh

---
 home/fish.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/home/fish.nix b/home/fish.nix
index 51d0af4..8cda410 100644
--- a/home/fish.nix
+++ b/home/fish.nix
@@ -117,6 +117,8 @@
       n = "ninja";
       gdb_asan = "gdb -tui -ex='break __asan::ReportGenericError'";
       gdb_ubsan = "gdb -tui -ex='break __ubsan::ScopedReport::~ScopedReport'";
+    } // lib.attrsets.optionalAttrs (variant == "allegro") {
+      d = "./run_in_container.sh docker/ci.Dockerfile.signature";
     };
 
     plugins = [