From 18184b2c3b44c55a70f29cd4470ed1e50f542b04 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Wed, 16 Oct 2024 00:14:06 +0100
Subject: [PATCH] Zed settings
---
.zed/inverse.sh | 5 +++++
.zed/tasks.json | 8 ++++++++
2 files changed, 13 insertions(+)
create mode 100755 .zed/inverse.sh
create mode 100644 .zed/tasks.json
diff --git a/.zed/inverse.sh b/.zed/inverse.sh
new file mode 100755
index 0000000..15242a6
--- /dev/null
+++ b/.zed/inverse.sh
@@ -0,0 +1,5 @@
+#!/usr/bin/bash
+
+file=`echo $1 | sed -e s./root/workdir.$PWD.`
+line=$2
+zed $file:$line
diff --git a/.zed/tasks.json b/.zed/tasks.json
new file mode 100644
index 0000000..26608c4
--- /dev/null
+++ b/.zed/tasks.json
@@ -0,0 +1,8 @@
+[
+ {
+ "label": "Forward Search",
+ "command": "zathura --synctex-forward \"$ZED_ROW:$ZED_COLUMN:$ZED_FILE\" -x \".zed/inverse.sh %{input} %{line}\" tex/main.pdf",
+ "allow_concurrent_runs": true,
+ "reveal": "never"
+ }
+]
--
GitLab