Я попытался изменить настройки ~./bashrc (как на локальном, так и на удаленном сервере), но он не работал.
Тогда я заметил, что ~/.bashrc удаленного сервера даже не выполняется, если Я подключаюсь к нему через ssh. Поэтому я сделал ~/.bashrc удаленного сервера для выполнения puttinng if [ -f ~/.bashrc ]; then . ~/.bashrc fi в удаленном сервере ~/.bash_profile. (на основе https://stackoverflow.com/questions/820517/bashrc-at-ssh-login).
Так что это решение не требовало изменения каких-либо файлов ~/bashrc напрямую, но для этого требовалось изменить [ f7] файла удаленного сервера, чтобы файл ~/bashrc удаленного сервера был выполнен.