Cosa sono i file di configurazione? Come modificarli in modo sicuro
La maggior parte dei programmi per computer che utilizziamo, siano essi suite per ufficio, browser Web, persino videogiochi, sono configurati tramite interfacce di menu. È quasi diventato il modo predefinito di usare le nostre macchine.
Ma alcuni programmi richiedono di fare un passo oltre. Invece dei menu, è necessario modificare un file di testo affinché il software possa funzionare come desiderato.
Questi file di testo configurano il software e sono – abbastanza sorprendentemente – chiamati "file di configurazione". Se desideri migliorare le tue conoscenze informatiche, dovrai sapere cos'è un file di configurazione e come modificarlo.
Cosa sono i file di configurazione?
Prima di entrare nella tecnica nitty-gritty, definiamo innanzitutto cos'è un file di configurazione.
I file di configurazione sono essenzialmente file di testo modificabili che contengono informazioni richieste per il corretto funzionamento di un programma. I file sono strutturati in un modo particolare, formattati per essere configurabili dall'utente.
Mentre una parte della configurazione è codificata nel software, le impostazioni che è possibile modificare sono incluse nei file di configurazione.
Sorprendentemente, non esiste uno standard definito su come dovrebbero funzionare i file di configurazione o su come dovrebbero apparire. Dipende interamente dal capriccio dello sviluppatore del programma.
Gli utenti Linux avranno particolare familiarità con i file di configurazione poiché molte attività di manutenzione di base richiedono la modifica. Ritoccare il Raspberry Pi spesso si basa sulla modifica dei file di configurazione. Questo potrebbe essere quello di specificare una rete wireless a cui connettersi o impostare la quantità di RAM per la grafica.
Tuttavia, i file di configurazione non sono esclusivi di Linux. Ci sono momenti in cui potresti doverli modificare in Windows o macOS.
Come trovare e modificare i file di configurazione
Alcuni file di configurazione sono strutturati in un formato progettato dallo sviluppatore. Altri usano standard ampiamente noti usati per strutturare i dati, come:
- JSON (notazione oggetto JavaScript)
- YAML (YAML Ain't Markup Language)
- XML (eXtensible Markup Language)
Alcuni programmi caricano le informazioni memorizzate nei loro file di configurazione all'avvio. Nel frattempo altri controllano periodicamente il file di configurazione per vedere se è stato modificato.
Qualunque file di configurazione che si desidera modificare, è consigliabile crearne una copia prima di apportare eventuali modifiche. In questo modo, se qualcosa va storto, puoi ripristinare la copia e ricominciare!
Ora diamo un'occhiata a un file di configurazione del mondo reale. Come accennato in precedenza, sono disponibili in diverse forme e dimensioni. Un file di configurazione che quasi sicuramente conosci è il file hosts. Windows, Mac e Linux lo usano tutti per mappare manualmente gli indirizzi IP sui nomi host.
File di configurazione di Windows
Gli utenti Windows troveranno il file hosts in c: windows system32 drivers etc .
Puoi aprirlo facendo doppio clic con il mouse e selezionando Blocco note dall'elenco delle app suggerite. Questo è tutto ciò che serve per visualizzare e modificare i file di configurazione come gli host. Tuttavia, sono disponibili diverse alternative, vedi sotto per i dettagli.
Con il file aperto vedrai che usa spazi bianchi (letteralmente spazi e tabulazioni) per separare gli elementi.
Ogni nome host ha una propria riga, seguita da un punto di tabulazione e dall'indirizzo IP. Inoltre, il file hosts consente all'utente di aggiungere annotazioni e commenti, che iniziano tutti con un simbolo di hash.
File di configurazione Linux
Su Linux, troverai il file hosts in / etc / . Questo può essere aperto in Gedit o in un editor di testo da riga di comando come nano o vim. Nella maggior parte dei casi la tua distribuzione Linux avrà una o tutte queste preinstallate.
Alcuni programmi memorizzano il file di configurazione nella home directory, con un punto all'inizio del nome file. Questi file di configurazione a volte hanno l'estensione .rc e li chiamiamo "dotfile".
File di configurazione in macOS
Come Linux, il file hosts può essere trovato in / etc / su macOS.
Gli utenti Mac sapranno che BBEdit è l'editor di testo preinstallato predefinito. Questo lo rende ideale per la modifica di file di configurazione in macOS. Tuttavia, come con Linux, sono disponibili anche editor da riga di comando vim e nano.
App per la modifica sicura dei file di configurazione
Quindi, ora sappiamo a cosa servono i file di configurazione, parliamo di come possiamo modificarli.
Per fare questo, avrai bisogno di un editor di testo. Evita i word processor; questi possono aggiungere formattazione al file che impedisce loro di essere letti correttamente.
Sono disponibili editor di testo nativi, come detto. Tuttavia, per funzioni extra, sono disponibili anche editor di testo di terze parti:
Scarica: Notepad ++ per Windows (gratuito)
Scarica: Atom per Windows, macOS, Linux (gratuito)
Scarica: Sublime Text Editor per Windows, macOS, Linux (valutazione gratuita)
Sono disponibili così tanti strumenti di modifica del testo per ogni piattaforma che è difficile consigliare una singola app. Gli utenti Linux possono anche controllare il nostro elenco di editor di testo Linux . Nel frattempo, questa raccolta di editor di testo per macOS dovrebbe aiutare i proprietari di computer Apple.
Quando modifichi un file di configurazione, è importante assicurarti di seguirne le convenzioni. Questo può essere risolto semplicemente guardandolo. Alcuni file di configurazione, come il file hosts, spiegheranno queste convenzioni nelle righe commentate. Altri ti costringeranno a leggere della documentazione o un paio di post sul blog.
Infine, se il file di configurazione modificato ha un formato JSON o XML, prendere in considerazione un editor di testo con l'evidenziazione della sintassi. Notepad ++ e Atom sono entrambe buone opzioni qui. L'evidenziazione della sintassi migliorerà la tua precisione mostrandoti quando hai fatto un errore.
Altri luoghi in cui è possibile trovare file di configurazione da modificare
Se sei interessato ad esplorare ulteriormente i file di configurazione, li troverai in tutti i tipi di applicazioni e piattaforme. C'è altro da configurare per i file oltre a specificare quali siti Web e indirizzi IP bloccare!
Oltre al file hosts, troverai i file di configurazione nei videogiochi. Questi sono spesso usati per definire e controllare cose come keymappings.
Nel frattempo, alcuni file di configurazione possono essere utilizzati per imbrogliare. Questo era il caso del gioco originale Deus Ex su PC. In questi giorni, barare è molto più difficile e spesso non vale la pena, a meno che non si abiliti una modalità cheat ufficiale.
Le applicazioni Web utilizzano anche i file di configurazione per la personalizzazione.
Cosa succede se la modifica della configurazione non funziona?
I problemi associati alla modifica dei file di configurazione tendono a ricadere in due campi: autorizzazioni ed errore dell'utente.
I problemi con i file di configurazione causati da permessi sono dovuti all'integrità del sistema. Non puoi salvare le modifiche perché stai modificando come un normale utente. Per evitare errori di configurazione, molti file di configurazione sono modificabili solo da quelli con privilegi di livello amministratore.
Risolvere questo è facile:
- Su Windows, fai clic con il pulsante destro del mouse sull'editor di testo e seleziona Esegui come amministratore
- Su macOS e Linux, prova ad aumentare i tuoi privilegi con il comando sudo. Quindi, se stavi modificando il file hosts, esegui sudo nano / etc / hosts
(Si noti che se si specifica un nome file o una posizione diversi, si creerebbe effettivamente un file di configurazione nel terminale.)
Quando il problema è un errore dell'utente, significa che è colpa tua. Verifica di non aver fatto errori di battitura e di aver seguito le convenzioni del file di configurazione.
Anche se può sembrare ovvio, un semplice errore di ortografia può rendere inutile l'intero file. Prima di confermare le modifiche e salvare il file, ricordati di:
- Controlla la modifica che hai apportato
- Assicurati di aver lasciato un commento
Assicurati inoltre di chiudere il file di configurazione prima di provare a eseguire il software che stai tentando di configurare.
I file di configurazione sono importanti
Più che importante, sono una parte essenziale dell'uso di Linux. Sapere come modificarli correttamente può aiutarti notevolmente.
Sebbene sia possibile modificare molti file di configurazione, assicurarsi di effettuare una copia del file prima di apportare eventuali modifiche. In questo modo, è possibile ripristinare l'originale se qualcosa diventa instabile.
Usando Linux? Ecco di più sulla modifica e la gestione del file hosts in Linux .
Leggi l'articolo completo: cosa sono i file di configurazione? Come modificarli in modo sicuro
