.bashrc non exécuté lors de l'ouverture d'un nouveau terminal

Le code dans .bashrc ne s'exécute pas lorsque j'ouvre une nouvelle fenêtre de terminal dans Ubuntu 12.04. J'ai remarqué cela lors de la création d'un fichier .bash_aliases. Les alias ne sont pas apparus lorsque j'ai ouvert un nouveau terminal. Toutefois, lorsque je tape source .bashrcles alias sont apparus.

.bashrc doit être exécuté à chaque fois que j'ouvre une nouvelle fenêtre de terminal, non?

Comment puis-je y arriver?

Ce n'est pas nécessairement exécuté; Au sommet de la norme. Bashrc est ce commentaire:

# ~/.bashrc: executed by bash(1) for non-login shells.
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
# for examples

Je crois qu'il existe une option pour exécuter le terminal bash en tant que shell de connexion ou non. Avec Ubuntu, gnome-terminal ne s’exécute normalement pas en tant que shell de connexion. Par conséquent, .bashrc doit être exécuté directement.

Pour les shells de connexion (comme les terminaux virtuels), normalement, le fichier ~/.profileest exécuté, sauf si vous avez l'un ~/.bash_profileou l' autre ~/.bash_login, mais ils n'y sont pas par défaut. Par défaut, Ubuntu utilise uniquement .profile.

La norme ~/.profilecontient ceci:

if [ -n "$BASH_VERSION" ]; then
    # include .bashrc if it exists
    if [ -f "$HOME/.bashrc" ]; then
        . "$HOME/.bashrc"
    fi
fi

Cela fonctionne .bashrc s’il est disponible - en supposant que $ BASH_VERSION est présent dans votre environnement. Vous pouvez vérifier cela en entrant la commande echo $BASH_VERSIONet elle devrait afficher des informations sur le numéro de version - il ne devrait pas être vide.

Dans mon cas, tout simplement les .bashrclignes de chargeur manquaient dans.bash_profile

# include .bashrc if it exists
if [ -f "$HOME/.bashrc" ]; then
    . "$HOME/.bashrc"
fi

Je l'ai ajouté manuellement et cela a fonctionné avec mon nouveau login

.bash_profiledétient la configuration pour le shell bash. Lorsque vous ouvrez un terminal, celui-ci lit et exécute les commandes à partir de ~/.bash_profile. Vous pouvez donc ajouter ce qui suit .bash_profilepour configurer le shell en fonction de bashrc.

. ~/.bashrc

Si $BASH_VERSIONn'est pas défini, essayez d'utiliser la chshcommande pour définir votre shell /bin/bash.

J'ai eu un problème similaire avec 12.04 LTS, et il s'est avéré que le shell par défaut du nouveau compte d'utilisateur était défini sur /bin/sh, ce qui était la cause du problème.

Selon le commentaire dans .profile

~ / .profile: exécuté par l'interpréteur de commande pour les shell de connexion. 11 Ce fichier n'est pas lu par bash (1), si ~ / .bash_profile ou ~ / .bash_login¬ 10 # existe

Alors voilà, si ~/.bash_profileou ~/.bash_login exists, ceux-ci seront exécutés au lieu de~/.profile

si vous voulez exécuter ~/.bashrcsimplement ajouter la ligne source ~/.bashrcàbash_profile

Au lieu de parcourir tout cela, allez Edit -> Profile Preferences -> Title and Command -> "Run a custom command instead of my shell"dans la boîte de commande personnalisée bashet écrivez -la. La prochaine fois que vous ouvrirez le terminal, il se déroulera également automatiquement.