Поздрави,
Божидар
правиш после един source .bash_profile и това е.
Иначе можеш да промениш и началото на самия скрип idea.sh на нещо
подобно, ако не ти се занимава с променливи на средата:
if [ -z "$IDEA_JDK" ]; then
IDEA_JDK=$JDK_HOME
if [ -z "$IDEA_JDK" ]; then
IDEA_JDK=/path/to/jdk
fi
fi
Поздрави,
Божидар