[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Discuss-gnuradio] grc hardcoded to use xterm as a terminal emulator
From: |
Marcus D. Leech |
Subject: |
Re: [Discuss-gnuradio] grc hardcoded to use xterm as a terminal emulator? |
Date: |
Fri, 09 Dec 2011 15:00:04 -0500 |
User-agent: |
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.24) Gecko/20111108 Fedora/3.1.16-1.fc14 Thunderbird/3.1.16 |
On 12/09/2011 02:42 PM, Timo Juhani Lindfors wrote:
Hi,
I just noticed that grc/python/Generator.py is hardcoded to use xterm as
a terminal emulator. This is somewhat problematic [1] for me so I'd like
to make it configurable, how would you rather see that done? Would
adding a new option (like "no_gui_terminal_emulator") to the flowchart
be too messy?
Use an environment variable?
There's already a GRC "prefs" support for the Gnu Radio preferences file
that's
normally located in:
~/.gnuradio/config.conf
And .../grc/python/Constants.py already extracts a value for 'doc_dir'
from the Gnu Radio
preferences file. That would seem to be a good potential place to do
that work.
[1] xterm in ubuntu lucid is still sgid=utmp which causes it to drop
LD_LIBRARY_PATH which I need since I've installed gnuradio to a
temporary location. xterm also does not support pretty scrollbars that
my users expect and does not support freedesktop.org style clipboard
behavior (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=588785)
unless I tell them to start xclipboard separately and then tell them to
add some X resources...
_______________________________________________
Discuss-gnuradio mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
--
Marcus Leech
Principal Investigator
Shirleys Bay Radio Astronomy Consortium
http://www.sbrac.org