From 391b4b34e9bdf0c8606753d0e8b14482601c2a9b Mon Sep 17 00:00:00 2001
From: surrealoatmeal <110714099+surrealoatmeal@users.noreply.github.com>
Date: Sat, 5 Nov 2022 04:14:49 +0000
Subject: [PATCH] rofi's .rofi.pid (#151)

Co-authored-by: b3nj4m1n <b3nj4m1n@gmx.net>
---
 programs/rofi.json | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 programs/rofi.json

diff --git a/programs/rofi.json b/programs/rofi.json
new file mode 100644
index 0000000..a4b62c6
--- /dev/null
+++ b/programs/rofi.json
@@ -0,0 +1,10 @@
+{
+    "files": [
+        {
+            "help": "This file is created when _/run/user/1000_ is inaccesible. Consider fixing this. As a workaround, one can alias rofi to use a pidfile that is not in $HOME but is not in $XDG_RUNTIME_DIR either:\n\n```bash\nalias rofi=\"rofi -pid $XDG_STATE_DIR/rofi\"\n```\n",
+            "movable": true,
+            "path": "$HOME/.rofi.pid"
+        }
+    ],
+    "name": "rofi"
+}
-- 
2.47.3