Bonjour,

Linux est un univers entièrement neuf pour moi.
J'ai un petit espace réservé sur un serveur(Red Hat 7), où j'accède via Putty,
et je m'essaye à divers petits scripts bash dans mon répertoire utilisateur.

1ere contrariété : je n'arrive rien à faire dans mon fichier .bash_profile.
J'ai lu plein de choses sur le sujet, peut-être trop car je ne sais plus
où j'en suis, entre .bash_profile et .bashrc

Quoique je mette dans ces fichiers, ce n'est pas pris en (…)