set_ida_server

export IDA_PRO_SERVER_HOST=helix64.cs.virginia.edu
#IDA_PRO_SERVER_USER=<user>
#IDA_PRO_SERVER_PORT=22


# no longer need the redirect this way.  just setting the IDA_PRO_SERVER hostname is good enough.
#export SMPSA_HOME=$PEASOUP_UMBRELLA_DIR/IdaProServer