From: surrealoatmeal <110714099+surrealoatmeal@users.noreply.github.com>
Date: Sat, 5 Nov 2022 04:14:49 +0000 (+0000)
Subject: rofi's .rofi.pid (#151)
X-Git-Tag: v0.2.0.2~125
X-Git-Url: https://glassweightruler.freedombox.rocks/gitweb/xdg-ninja.git/commitdiff_plain/b0fc76b4702e6e657fe345e8dbfc5b9b6815cf34?hp=-c

rofi's .rofi.pid (#151)

Co-authored-by: b3nj4m1n <b3nj4m1n@gmx.net>
---

b0fc76b4702e6e657fe345e8dbfc5b9b6815cf34
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"
+}