no-proxy включает порты?

Чтобы включить хронологические отметки времени для всех пользователей, создайте сценарий в файле /etc/profile.d:

echo 'HISTTIMEFORMAT="%Y%m%d %T "' >> /etc/profile.d/timestamp.sh