web-dev-qa-db-fra.com

Définir le chemin pour Terminator pour rechercher des plugins

Sur mon lieu de travail, nous avons Terminator installé sur nos machines mais nous n'avons pas accès en écriture en dehors de nos dossiers personnels. Par défaut, le terminateur recherche les pluings à /usr/share/terminator/terminatorlib/plugins, que je ne peux pas utiliser. J'ai essayé de copier mon plugin sur ~/.config/terminator/plugins/ mais terminator ne charge rien à partir de cet emplacement.

Comment puis-je dire à Terminator de regarder dans ce dossier, ainsi que celui par défaut? Peut-être une entrée dans le fichier de configuration, mais je n'ai rien trouvé dans la documentation.

Éditer:

Comme demandé dans les commentaires, voici la sortie de apt-cache policy "

terminator:
  Installed: 0.97-2ubuntu0.1
  Candidate: 0.97-2ubuntu0.1
  Version table:
 *** 0.97-2ubuntu0.1 0
        500 http://de.archive.ubuntu.com/ubuntu/ trusty-updates/universe AMD64 Packages
        100 /var/lib/dpkg/status
     0.97-2 0
        500 http://de.archive.ubuntu.com/ubuntu/ trusty/universe AMD64 Packages
pluginsterminator
1
Pouya

Vérifiez les fichiers ouverts avec

strace -e open,access terminator 2>&1  | grep plugins

Si votre dossier n'est pas dans la sortie, quelque chose ne va pas. Et vous devriez lire la page de manuel

man terminator_config

Mais en attendant, vous l'avez reconnu eux-mêmes. ;)

Terminator a deux dossiers de plugins. Le dossier à l'échelle du système /usr/share/terminator/terminatorlib/plugins et un dossier utilisateur ~/.config/terminator/plugins.

J'ai testé l'installation de plugins dans le dossier d'accueil avec le plugin Terminator Editor Plugin :

  1. Mon terminator sans ce plugin

    enter image description here

  2. Fermer toutes les sessions terminator

  3. Créer le dossier du plugin

    mkdir -p ~/.config/terminator/plugins

  4. Téléchargez le plugin

    wget -P ~/.config/terminator/plugins https://raw.githubusercontent.com/mchelem/terminator-editor-plugin/master/editor_plugin.py

    Vous devriez maintenant voir quelque chose comme ça

    % ls -laog ~/.config/terminator/plugins
total 20
drwxrwxr-x 2 4096 Nov 19 14:39 .
drwxrwxr-x 3 4096 Nov 19 14:27 ..
-rw-rw-r-- 1 3438 Nov 19 14:39 editor_plugin.py

  5. Démarrer terminator

  6. Vérifiez le contenu dans ~/.config/terminator/plugins, vous devriez voir quelque chose comme ceci:

    % ls -laog ~/.config/terminator/plugins
total 32
drwxrwxr-x 2 4096 Nov 19 14:32 .
drwxrwxr-x 3 4096 Nov 19 14:27 ..
-rw-rw-r-- 1 3438 Nov 19 14:32 editor_plugin.py
-rw-rw-r-- 1 3811 Nov 19 14:32 editor_plugin.pyc

  7. Ouvert Preferences > Plugins

  8. Activez le plugin EditorPlugin

    enter image description here

2
A.B.

La réponse a été expliquée dans man terminator_config.

De man man terminator_config

Normally the config file will be ~/.config/terminator/config, but it may
be overridden with $XDG_CONFIG_HOME (in which case it will be
$XDG_CONFIG_HOME/terminator/config)

Il s'est avéré sur ma machine que l'emplacement par défaut pour la configuration n'est pas $HOME/.config mais $XDG_CONFIG_HOME/.config. Une fois que j'ai déplacé le plugin à cet emplacement, le terminateur le trouve immédiatement.

1
Pouya