For Linux, you basically do the same thing. The environment variable has the same format as in Windows, so the only thing that differs is how you set it. For bourne-style shells (which is most of them, including bash), do this:
export http_proxy=10.0.0.1:80
You can either add this line in the system-wide profile (/etc/profile), a local profile (~/.profile, ~/.bash_profile, ~/.bashrc, or something else, depending on your shell), or in the DROD launch script itself (drod-jtrh or drod-jtrh-demo).
Alternately, just create a new shell script containing:
#!/bin/sh
env http_proxy=10.0.0.1:80 drod-jtrh
(replace drod-jtrh with drod-jtrh-demo for the demo version). This should work regardless of which shell you use. Make the script executable (chmod +x
name-of-script) and put it somewhere in your path (echo $PATH to see your path). If you do it this way, remember that the JtRH menu entries in your desktop environment will still point directly to JtRH, so you might want to make those point to your new script in stead. (This is true for Windows version as well, btw).
For non-bourne shells, environment variables may be set differently. csh use the setenv command, like this:
setenv http_proxy 10.0.0.1:80
- Gerry
[Edited by trick at
Local Time:04-21-2005 at 11:23 PM]
