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