Mon ~/.bashrc
contient exactement une ligne:
source my_config/my_actual_bashrc.sh
Existe-t-il un équivalent avec .inputrc
, donc mes personnalisations peuvent être dans un emplacement séparé et "appelées" par ~/.inputrc
?
Mon ~/.bashrc
contient exactement une ligne:
source my_config/my_actual_bashrc.sh
Existe-t-il un équivalent avec .inputrc
, donc mes personnalisations peuvent être dans un emplacement séparé et "appelées" par ~/.inputrc
?
Réponses:
Selon man readline
:
$include
Cette directive prend un seul nom de fichier comme argument et lit les commandes et les liaisons de ce fichier. Par exemple, la directive suivante se lirait
/etc/inputrc
:
$include /etc/inputrc
Si vous souhaitez uniquement modifier l'emplacement du fichier, vous pouvez définir INPUTRC
sur my_config/my_actual_inputrc
(si non défini , par défaut sur ~/.inputrc
).
Il existe également un équivalent de source
, c'est-à-dire $include
( source ). Par exemple:
$include myconfig/my_actual_inputrc