From: Andrea D'A. <and...@ma...> - 2011-02-17 20:57:52
|
2011/2/17 Hans-Bernhard Bröker <HBB...@t-...>: > I rather much doubt that. Setting the variable GNUTERM in the environment > should always work to override the default terminal. See "help > environment". Are you talking about run-time? I'm talking about build time and consequent default value for terminal. -- Andrea |