# ~/.profile: executed by the command interpreter for login shells. # This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login # exists. # see /usr/share/doc/bash/examples/startup-files for examples. # the files are located in the bash-doc package. # the default umask is set in /etc/profile; for setting the umask # for ssh logins, install and configure the libpam-umask package. #umask 022 # if running bash if [ -n "$BASH_VERSION" ]; then # include .bashrc if it exists if [ -f "$HOME/.bashrc" ]; then . "$HOME/.bashrc" fi fi # set PATH so it includes user's private bin if it exists if [ -d "$HOME/bin" ] ; then PATH="$HOME/bin:$PATH" fi export OB_HOME="$HOME/Developpements/mes_lib/corba/OrbacusC++" export MICO_HOME="$HOME/Developpements/mes_lib/corba/mico" export OMNIORB_HOME="$HOME/Developpements/mes_lib/corba/omniORB-4.2.1" export OPENTOP_HOME="$HOME/Developpements/mes_lib/opentop-1-3-0" export WXWIDGETS_HOME="$HOME/Developpements/mes_lib/wxWidgets-3.0.2" export ACE_ROOT="$HOME/Developpements/mes_lib/corba/ACE_wrappers" export TAO_ROOT="$ACE_ROOT/TAO" export PATH="$OB_HOME/bin:$OMNIORB_HOME/bin:$ACE_ROOT/bin:$HOME/Developpements/tools/eclipse:$PATH" export LD_LIBRARY_PATH="$MICO_HOME/libs:$OB_HOME/lib:$OMNIORB_HOME/lib:$OPENTOP_HOME/lib:$WXWIDGETS_HOME/lib:$ACE_ROOT/lib:$LD_LIBRARY_PATH"