Package: puredata / 0.55.2+ds-1~bpo12+1

debian/etc-gui-plugins.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
From: =?utf-8?q?IOhannes_m_zm=C3=B6lnig?= <umlaeute@debian.org>
Date: Tue, 29 Jan 2019 11:31:36 +0100
Subject: search for GUI plugins in /etc/pd/plugins-enabled

Origin: Debian

this gives us a standard path where the user can symlink-enable their
system-wide GUI plugins.
Last-Update: 2023-11-02
Forwarded: not-needed
---
 tcl/pd-gui.tcl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

--- puredata.orig/tcl/pd-gui.tcl
+++ puredata/tcl/pd-gui.tcl
@@ -776,7 +776,7 @@
     }
 
     # load other installed plugins
-    foreach pathdir [concat $::sys_temppath $::sys_searchpath $::sys_staticpath] {
+    foreach pathdir [concat $::sys_temppath $::sys_searchpath "/etc/pd/plugins-enabled" $::sys_staticpath] {
         set dir [file normalize $pathdir]
         if { ! [file isdirectory $dir]} {continue}
         if { [ catch {