Mon ~/.bashrccontient 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 ~/.bashrccontient 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 INPUTRCsur 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