Bonjour, je voudrais l'avis de ceux qui ont l'habitude d'ajouter des choses dans leur .bash_profile ou leur .bashrc : qu'est-ce qu'on met dans le second ?

Je sais quand ils sont utilisés et comment, je me demande juste pourquoi on considère en général que l'environnement va dans le premier, et les alias et les fonctions dans le second : qu'est-ce qu'on gagne à recharger tout ce qu'il y a dans .bashrc à chaque nouveau bash, qu'est-ce qu'on peut faire de (…)

Bonjour, j'ai un petit problème de fuite d'espace disque sur ma partition / :
typiquement, un "df /" au boot m'indique 3 Go de libres, un jour plus tard c'est 2 Go, etc (à vitesse pas constante) jusqu'à ce qu'il n'y ait plus rien de libre.
Du coup, j'ai des problèmes pour télécharger des mails, installer des programmes, etc, jusqu'à ce que je reboote et que mes 3Go reviennent.
Il s'agit d'une partition ext3 sur laquelle j'ai pas constaté de (…)