VLC player consente l'installazione di estensioni, plugin, skin . Devono essere copiati in una cartella: ad esempio, le sue .lua
estensioni dovrebbero essere in una cartella con lo stesso nome. Dov'è?
VLC player consente l'installazione di estensioni, plugin, skin . Devono essere copiati in una cartella: ad esempio, le sue .lua
estensioni dovrebbero essere in una cartella con lo stesso nome. Dov'è?
Risposte:
Per installare le 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 in "Visualizza"
(Li ho messi qui per l'illustrazione, non li consiglio tutti.)
Le skin vengono installate andando su Strumenti / Preferenze (Ctrl-P) - Interfaccia: 'Usa skin personalizzato', e selezionare il file skin.
Almeno per il momento, pochissime estensioni VLSub funzionano davvero e vale la pena provare; e, tra questi, la maggior parte non è sviluppata attivamente, come puoi vedere qui : il migliore è VLSub , probabilmente il miglior strumento attualmente disponibile per il download di sottotitoli - al punto che le versioni recenti del lettore hanno integrato quel componente aggiuntivo per impostazione predefinita ( 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, in Strumenti-Plugin ed estensioni :
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 /usr/lib/vlc/lua/extensions/
.
/usr/lib/x86_64-linux-gnu/vlc/lua/extensions/