From 35f4ba545a03b2b5d9689e89000582e6d5eea99f Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 30 Sep 2020 16:00:34 +0200
Subject: [PATCH] Experimental GDB stage

---
 garlic/stages/pgdb.nix | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 garlic/stages/pgdb.nix

diff --git a/garlic/stages/pgdb.nix b/garlic/stages/pgdb.nix
new file mode 100644
index 0000000..7ac3c99
--- /dev/null
+++ b/garlic/stages/pgdb.nix
@@ -0,0 +1,30 @@
+{
+  stdenv
+, bash
+, screen
+, gdb
+}:
+
+{
+  program
+, gdbArgs ? "-ex run"
+}:
+
+stdenv.mkDerivation {
+  name = "pgdb";
+  preferLocalBuild = true;
+  phases = [ "installPhase" ];
+  installPhase = ''
+    cat > $out <<EOF
+    #!/bin/sh
+    
+    exec ${screen}/bin/screen -D -m \
+      ${gdb}/bin/gdb \
+      -ex 'set pagination off' \
+      ${gdbArgs} \
+      --args ${program} \$@
+
+    EOF
+    chmod +x $out
+  '';
+}