Tor Browser | OTHER chapters | ||
Il browser Tor è basato sul browser Mozilla Firefox Extended Support Release ( ESR ). Il browser Tor viene installato con una serie di configurazioni di default. I valori di configurazione di Firefox sono memorizzati in un database chiamato preference system ( sistema delle preferenze ), un sistema diffuso, largamente gestito direttamente dai file di installazione di Firefox. Due sono le interfacce messe a disposizione da Firefox per poter accedere alle preferenze. Il menù:
del browser che, però, permette l'accesso ad una minima parte delle oltre mille variabili disponibili. L'indirizzo ( URL ) di servizio:
dove vengono elencate tutte le preferenze impostate, sia quelle di default ( impostate da Firefox ), sia quelle modificate dall'utente. La gran parte delle impostazioni di default di Mozilla Firefox non sono salvate, in chiaro, su disco. Le sole impostazioni che sono reperibili su disco fisso sono quelle salvate, in chiaro, in uno o più file di configurazione di Mozilla:
che dovrebbero trovarsi all'interno della directory di installazione del browser. Ciascun utente, inoltre, può modificare alcune di queste preferenze, salvandole in uno dei file di configurazione di profilo, che si trovano all'interno della directory Firefox della directory HOME dell'utente:
dove la directory
La barra di sviluppo occupa la parte inferiore dello schermo ed è quasi interamente occupata dal terminale a linea di comando. La barra di sviluppo può anche essere invocata premendo i tasti:
dove il tasto Shift è il tasto che premiamo per battere un carattere in maiuscolo ( subito sopra al tasto CTRL ). È possibile modificare i valori delle preferenze di Firefox anche direttamente da linea di comando. Per impostare un valore, usare il comando set:
Per riportare una variabile di configurazione al suo valore di default, usare il comando reset:
Per conoscere il valore corrente di una variabile di configurazione, usare il comando show:
I valori di default modificati da Tor sono i valori delle variabili che definiscono: a) il comportamento del browser verso gli aggiornamenti automatici e l'indirizzo della pagina di apertura:
b) oppure, il comportamento del browser verso gli avvisi di lentezza, in fase di lancio del browser:
c) oppure, il comportamento del browser nei confronti della memorizzazione dei dati relativi alla storia internet dell'utente ( browsing history ):
d) oppure, le impostazioni relative alla privacy:
|
|||
Tor Browser | The .bit guides: original contents |