Come installo le estensioni VLC?

Il lettore VLC consente di installare estensioni, plugin, skin . Devono essere copiati in una cartella: per esempio, le sue estensioni .lua dovrebbero trovarsi in una cartella con lo stesso nome. Dov’è?

Per installare estensioni ( .lua ) la cartella necessaria è ~/.local/share/vlc/lua/extensions/ per l’utente corrente e /usr/lib/vlc/lua/extensions/ per tutti gli utenti. L’ho trovato qui e qui .

Una volta installati, si trovano sotto ‘Visualizza’

inserisci la descrizione dell'immagine qui

(Li ho messi qui per l’illustrazione, non li consiglio tutti).

Gli skin vengono installati andando in Strumenti / Preferenze (Ctrl-P) – Interfaccia: ‘Usa skin personalizzata’ e seleziona il file skin.


AGGIORNARE

Almeno per il momento, pochissime estensioni VLSub funzionano davvero e vale la pena provare; e, tra questi, la maggior parte non sono sviluppati triggersmente, come puoi vedere qui : il migliore è VLSub , probabilmente lo strumento migliore al momento per scaricare i sottotitoli – al punto che le versioni recenti del player hanno integrato quell’addon di default ( ma in VLC 2.2.2 che è obsoleto e ha smesso di funzionare: vedi sotto).

VLC 2.2. ha la capacità di cercare e installare estensioni all’interno delle sue impostazioni, sotto Strumenti-Plugin ed estensioni :

inserisci la descrizione dell'immagine qui

Solo che non installa sempre l’ultima versione necessaria per il corretto funzionamento dell’estensione, nel qual caso scarica lo script dallo sviluppatore (per VLSub, qui ) e installalo come indicato nella prima parte di questa risposta.

Se i componenti aggiuntivi forniti con il lettore devono essere sostituiti, cercali in /usr/lib/vlc/lua/extensions/ .