hello,
I compiled pd 0.47 on a fresh ubuntu 16.04 installation. the font is different than any pd version on others ubuntu computer i've seen. pd say it is using the DejaVu Sans Mono, like on my other computer. it look the same, but about 15% larger. so all my GOP are messed up.
ubuntu 16.04 use tk.6. i tried sudo update-alternatives --config wish, but "there is no alternative to wish" (8.4 is installed) I did a apt-get install build-dep puredata before compiling pd. should I install something else to have the correct font?
if I start pd with -font-face "Courrier 10 Pitch", everything goes back to a normal size. but when I add this option in the pd startup flag (saved in .pdsetting), pd say : WARNING: Font familly 'Courrier' not found... 10: can't open Pitch: can't open
I tried with -font-face "Courrier 10 Pitch", -font-face 'Courrier 10 Pitch'...
any solution to solve any of this problem?
thanks Cyrille
Le 25/05/2016 20:21, IOhannes m zmölnig a écrit :
On 05/25/2016 07:27 PM, cyrille henry wrote:
any solution to solve any of this problem?
-font-face Courier -font-size 10
thanks, but it did not work :
Font familly 'Courier' not found...
c
fmEA IOhannes
Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
It's true... on some linux boxes one actually sees a font family named "Courrier 10 Pitch". It comes in one font size :)
I guess there are still problems specifying font families with enmedded whitespace. Ouch...
M
On Wed, May 25, 2016 at 08:26:30PM +0200, cyrille henry wrote:
Le 25/05/2016 20:21, IOhannes m zmölnig a écrit :
On 05/25/2016 07:27 PM, cyrille henry wrote:
any solution to solve any of this problem?
-font-face Courier -font-size 10
thanks, but it did not work :
Font familly 'Courier' not found...
c
fmEA IOhannes
Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
Le 25/05/2016 20:54, Miller Puckette a écrit :
It's true... on some linux boxes one actually sees a font family named "Courrier 10 Pitch". It comes in one font size :)
I guess there are still problems specifying font families with enmedded whitespace. Ouch...
the problem is only reading the .pdsettings file. it work great using pd -font-face "..."
so, i have to find an other way to fix the font size, or use another font. any idea?
thanks c
M
On Wed, May 25, 2016 at 08:26:30PM +0200, cyrille henry wrote:
Le 25/05/2016 20:21, IOhannes m zmölnig a écrit :
On 05/25/2016 07:27 PM, cyrille henry wrote:
any solution to solve any of this problem?
-font-face Courier -font-size 10
thanks, but it did not work :
Font familly 'Courier' not found...
c
fmEA IOhannes
Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
On 05/25/2016 09:17 PM, cyrille henry wrote:
Le 25/05/2016 20:54, Miller Puckette a écrit :
It's true... on some linux boxes one actually sees a font family named "Courrier 10 Pitch". It comes in one font size :)
I guess there are still problems specifying font families with enmedded whitespace. Ouch...
the problem is only reading the .pdsettings file. it work great using pd -font-face "..."
yes, because when running from the cmdline, the space-escaping is done by the shell, and Pd only sees as single string "Courier 10 Pitch". when parsing .pdsettings, Pd is left alone...
so, i have to find an other way to fix the font size, or use another font. any idea?
so use the bash instead:
$ tail -3 ~/.bashrc pd() { $(which pd) -font-face "Courier 10 Pitch" "$@" }
the next time you open a new shell and type "pd", it will call it with the current font...
hello,
oh! why do one need a .pdsetting file??? ;-)
well, this is not the best solution ever, but since i've got not other option...
btw, I had to change to make it work, it's : functionpd() { ...
thanks Cyrille
Le 25/05/2016 21:25, IOhannes m zmölnig a écrit :
On 05/25/2016 09:17 PM, cyrille henry wrote:
Le 25/05/2016 20:54, Miller Puckette a écrit :
It's true... on some linux boxes one actually sees a font family named "Courrier 10 Pitch". It comes in one font size :)
I guess there are still problems specifying font families with enmedded whitespace. Ouch...
the problem is only reading the .pdsettings file. it work great using pd -font-face "..."
yes, because when running from the cmdline, the space-escaping is done by the shell, and Pd only sees as single string "Courier 10 Pitch". when parsing .pdsettings, Pd is left alone...
so, i have to find an other way to fix the font size, or use another font. any idea?
so use the bash instead:
$ tail -3 ~/.bashrc pd() { $(which pd) -font-face "Courier 10 Pitch" "$@" }
the next time you open a new shell and type "pd", it will call it with the current font...
Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
On 05/26/2016 10:34 AM, cyrille henry wrote:
hello,
oh! why do one need a .pdsetting file??? ;-)
well, this is not the best solution ever, but since i've got not other option...
btw, I had to change to make it work, it's : functionpd() {
weird, because "function foo() { ... }" is a bashism, whereas "foo() { ... }" is POSIX compliant.
gfmdsa IOhannes
-
cyrille henry -
IOhannes m zmölnig -
Miller Puckette