Il y a quelques choses que vous pouvez essayer:
- utiliser
bash -v
pour voir quelles lignes sont lues au démarrage du shell
- utiliser
bash -x
pour voir quelles commandes sont en cours d'exécution au démarrage du shell
- exécuter avec un seul fichier de démarrage
bash -v
Cette -v
option permet d’ bash
imprimer chaque ligne de chaque fichier de script lu au fur et à mesure de sa lecture.
Commencez par courir
bash -i -v >bash-i.out 2>&1
attendez 5 à 10 secondes, puis appuyez sur Ctrl+C.
Cela vous donnera un seul fichier appelé bash-i.out
qui ressemble à tous vos fichiers de démarrage fusionnés (ou concaténés) ensemble.
Puis utilisez less
pour ouvrir le fichier et recherchez l’alias avec /aliasname
.
Maintenant, comparez où cet alias apparaît par rapport aux autres lignes du fichier. Par exemple, sur la plupart des systèmes, /etc/bash.bashrc
un commentaire en haut indique /etc/bash.bashrc
et en ~/.bashrc
contient un également.
S'il se situe au-dessus de votre position ~/.bashrc
, il s'agit probablement d'un fichier de démarrage /etc
définissant l'alias. Sinon, il se trouve dans votre ~/.bashrc
fichier ou dans un fichier inclus via source
ou .
(commande à point).
Si cela ne montre pas l'alias, essayez
bash -l -v >bash-l.out 2>&1
Cela indique à bash d'être un shell de connexion, qui lit différents fichiers de démarrage, par exemple /etc/profile
, ~/.bash_profile
au lieu de /etc/bash.bashrc
et ~/.bashrc
.
bash -x
Si bash -v
cela ne vous donne pas de réponse définitive, essayez de lancer bash -x
, ce qui affiche les commandes exécutées par le shell, plutôt que les lignes lues par votre shell.
La méthode est fondamentalement la même que ci-dessus, sauf changer -v
en -x
. (Vous pouvez utiliser les deux ensemble si nécessaire.)
Exécuter avec un seul fichier de démarrage
bash -i --rcfile="$HOME/.bashrc"
et voyez si vous avez le pseudonyme.
Essayez la même chose avec rcfile
set to /etc/bash.bashrc
si votre système en est équipé .
Alors essaye
bash -l --rcfile="$HOME/.bash_profile"
et faites la même chose avec chaque fichier de démarrage bash qui porte profile
son nom, par exemple, changez $HOME/.bash_profile
pour /etc/profile
.
Quel que soit le moyen utilisé pour faire apparaître l’alias, il indique le fichier à regarder.
set -x
comme suggéré en haut de votre et voir si cela le réduit pour vous.