ты прав, только эту переменную ещё необходимо как-то передать по ssh в процессе авторизации на сервере. я не копал так глубоко, как это делается.. килл пока всем устраивает :)
суть в том, чтобы и .bash_history не сохранить, и админ сервера об этом не знал. что история отключена, т.е. использовать .bash_profile для сохранения в ней HISTFILE нельзя.