Eu criaria um arquivo com essa string e o adicionaria a este diretório, /etc/profiled.d
. Chame o arquivo custom_histformat.sh
ou algo semelhante.
Geralmente, você não deseja adicionar personalizações a nenhum desses 2 arquivos ( /etc/profile
ou /etc/bashrc
), pois eles são de propriedade do sistema. As personalizações podem ir para o diretório /etc/profile.d
.
UPDATE # 1
Correndo o risco de vencer um cavalo morto, achei importante destacar por que alguém usaria /etc/profile.d
sobre os diretórios mencionados na pergunta ou em @ Gilles answer .
Se você examinar qualquer um dos testes em torno do RHCE, eles especificarão que /etc/profile.d
é um local apropriado para fazer esse tipo de alteração. Então, se você está fazendo o teste e respondendo alguma coisa diferente disso, ou /etc/bashrc
ou /etc/profile
, você estaria errado. Chame isso de RH-ismo, mas é assim que é feito nas distribuições baseadas no Red Hat. Outras distros têm outras abordagens.