diff options
| -rw-r--r-- | debian/patches/hard-code-wish8.5.patch | 15 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 16 insertions, 0 deletions
diff --git a/debian/patches/hard-code-wish8.5.patch b/debian/patches/hard-code-wish8.5.patch new file mode 100644 index 00000000..823999fc --- /dev/null +++ b/debian/patches/hard-code-wish8.5.patch @@ -0,0 +1,15 @@ +Description: hard code to Debian's /usr/bin/wish8.5 + Force pd-gui.tcl to use /usr/bin/wish8.5 so that it always uses Tk 8.5 + regardless of how the 'wish' alternatives are setup. +Author: Hans-Christoph Steiner <hans@eds.org> + +--- pd-extended-0.43.4.orig/pd/tcl/pd-gui.tcl (revision 16941) ++++ pd-extended-0.43.4/pd/tcl/pd-gui.tcl (working copy) +@@ -1,6 +1,6 @@ + #!/bin/sh + # This line continues for Tcl, but is a single line for 'sh' \ +- exec wish "$0" -- ${1+"$@"} ++ exec /usr/bin/wish8.5 "$0" -- ${1+"$@"} + # For information on usage and redistribution, and for a DISCLAIMER OF ALL + # WARRANTIES, see the file, "LICENSE.txt," in this distribution. + # Copyright (c) 1997-2009 Miller Puckette. diff --git a/debian/patches/series b/debian/patches/series index 7a5a8178..dcc55d2e 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ workaround_make_calling_configure_problem.patch +hard-code-wish8.5.patch |