Firefox: differenze tra le versioni

m
→‎Componenti Aggiuntivi: modifica struttura sezioni
m (→‎Componenti Aggiuntivi: modifica struttura sezioni)
Riga 88: Riga 88:
I plugin sono un discorso a parte.
I plugin sono un discorso a parte.


=== Installare estensioni ===
Le estensioni (''Extensions'') possono essere installate direttamente dal browser, in maniera analoga a come avviene su altri sistemi operativi e per il solo utente, oppure tramite l'installazione dei pacchetti <code>webext-</code> desiderati prelevati dai [[repository]] di Debian.
Le estensioni (''Extensions'') possono essere installate direttamente dal browser, in maniera analoga a come avviene su altri sistemi operativi e per il solo utente, oppure tramite l'installazione dei pacchetti <code>webext-</code> desiderati prelevati dai [[repository]] di Debian.


==== Installazione dai repository Debian ====
=== Installazione dai repository Debian ===
Questo metodo garantisce che le estensioni rispettino le [[DFSG]] (e quindi siano software libero) ma non che siano aggiornate. Tale procedura prevede che l'installazione avvenga per tutti gli utenti del sistema, abilitandole di default. I singoli utenti potranno comunque disabilitarle se non le desiderano.
Questo metodo garantisce che le estensioni rispettino le [[DFSG]] (e quindi siano software libero) ma non che siano aggiornate. Tale procedura prevede che l'installazione avvenga per tutti gli utenti del sistema, abilitandole di default. I singoli utenti potranno comunque disabilitarle se non le desiderano.


Riga 99: Riga 98:
</pre>
</pre>


==== Installazione manuale ====
=== Installazione manuale ===
Nel caso in cui l'estensione voluta non si trovi nei repository, è ovviamente possibile procedere alla sua installazione in maniera manuale.
Nel caso in cui l'estensione voluta non si trovi nei repository, è ovviamente possibile procedere alla sua installazione in maniera manuale.


3 581

contributi