File: etc-gui-plugins.patch

package info (click to toggle)
puredata 0.56.1%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 21,244 kB
  • sloc: ansic: 121,091; tcl: 10,724; cpp: 9,327; makefile: 1,645; sh: 1,551; python: 152; xml: 98; awk: 13
file content (25 lines) | stat: -rw-r--r-- 833 bytes parent folder | download | duplicates (2)
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 {