Comment installer les extensions VLC?
Le lecteur VLC permet d’installer des extensions, des plugins, des skins . Ils doivent être copiés dans un dossier: par exemple, ses extensions .lua doivent se trouver dans un dossier du même nom. Où est-ce?
Pour installer des extensions (.lua), le dossier requis est ~/.local/share/vlc/lua/extensions/ pour l'utilisateur actuel et /usr/lib/vlc/lua/extensions/ pour tous les utilisateurs. J'ai trouvé à ce sujet ici et ici .
Une fois installés, ils se trouvent sous 'View'
(Je les mets ici pour illustration, je ne les recommande pas tous.)
Les skins sont installés en allant dans Outils/Préférences (Ctrl-P) - Interface: "Utiliser un skin personnalisé" et en sélectionnant le fichier de skin.
METTRE À JOUR
Au moins pour le moment, très peu d'extensions VLSub fonctionnent réellement et valent la peine d'être essayées; et parmi ceux-ci, la plupart ne sont pas activement développés, comme vous pouvez le voir ici : le meilleur est VLSub , probablement le meilleur outil de téléchargement de sous-titres actuellement disponible - au point que des versions récentes du lecteur ont intégré cet addon par défaut (mais dans VLC 2.2.2, il est obsolète et ne fonctionne plus: voir ci-dessous).
VLC 2.2. a la capacité de rechercher et d'installer des extensions dans ses paramètres, sous Outils-Plugins et extensions :
Seulement, il n’installe pas toujours la dernière version nécessaire au bon fonctionnement de l’extension. Dans ce cas, téléchargez le script du développeur (pour VLSub, here ) et installez-le comme indiqué dans le premier fichier. une partie de cette réponse.
Si les addons fournis avec le lecteur doivent être remplacés, recherchez-les dans /usr/lib/vlc/lua/extensions/.