3 581
contributi
m (→Componenti Aggiuntivi: modifica struttura sezioni) |
|||
Riga 88: | Riga 88: | ||
I plugin sono un discorso a parte. | I plugin sono un discorso a parte. | ||
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 === | |||
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 === | |||
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. | ||
contributi