www.makeuseof.com

La maggior parte dei programmi per computer che usiamo—se suite per ufficio, browser web, anche i videogiochi—sono configurati tramite interfacce di menu. È quasi diventato il modo predefinito di utilizzare le nostre macchine.

Ma alcuni programmi richiedono di fare un passo oltre. Invece di menu, è necessario modificare un file di testo per il software per eseguire come si desidera.

Questi file di testo configurano il software e sono—abbastanza sorprendentemente—chiamati “file di configurazione”. Se vuoi migliorare la tua conoscenza del computer, dovrai sapere cos’è un file di configurazione e come modificarne uno.

Cosa sono i file di configurazione?

Prima di entrare nel nocciolo tecnico, definiamo prima cosa è un file di configurazione.

I file di configurazione sono essenzialmente file di testo modificabili che contengono le informazioni necessarie per il corretto funzionamento di un programma. I file sono strutturati in modo particolare, formattati per essere configurabili dall’utente.

Mentre alcune configurazioni sono codificate 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 come dovrebbero apparire. Dipende interamente dal capriccio dello sviluppatore del programma.

gli utenti Linux sarà una particolare familiarità con i file di configurazione, come molti di base attività di manutenzione richiedono la modifica di loro. Tweaking il Raspberry Pi si basa spesso sulla modifica dei file di configurazione. Questo potrebbe essere per 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 potrebbe essere necessario modificarli in Windows o macOS.

Come trovare e modificare i file di configurazione

Alcuni file di configurazione sono strutturati in un formato di progettazione dello sviluppatore. Altri usano standard ampiamente noti utilizzati per strutturare i dati, come:

• JSON (JavaScript Object Notation)
• 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 si desidera modificare è intelligente fare una copia di esso prima di apportare modifiche. In questo modo, se qualcosa va storto, è possibile ripristinare la copia e ricominciare!

Ora, diamo un’occhiata a un file di configurazione del mondo reale. Come abbiamo accennato in precedenza, sono disponibili in tutte le forme e dimensioni diverse. Un file di configurazione con cui hai quasi certamente familiarità è il file hosts. Windows, Mac e Linux lo usano tutti per mappare manualmente gli indirizzi IP ai 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 host. Tuttavia, diverse alternative sono disponibili – – – vedi sotto per i dettagli.

Con il file aperto vedrai che usa spazi bianchi (letteralmente spazi e tabulazioni) per separare gli elementi.

Ogni hostname ha una propria riga, seguita da una tabulazione e l’IP indirizzo. Inoltre, il file hosts consente all’utente di aggiungere annotazioni e commenti, che iniziano tutti con un simbolo hash.

File di configurazione Linux

Su Linux, troverai il file hosts in /etc/. Questo può essere aperto in Gedit, o un editor di testo a riga di comando come nano o vim. Nella maggior parte dei casi la tua distro Linux avrà uno o tutti questi preinstallati.

Alcuni programmi memorizzano il file di configurazione nella directory home, con un punto all’inizio del nome del file. Questi file di configurazione a volte hanno l’estensione del file .rc e ci riferiamo a loro come “dotfiles”.

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 predefinito e preinstallato. Questo lo rende ideale per la modifica di file di configurazione in macOS. Tuttavia, come con Linux, sono disponibili anche gli editor da riga di comando vim e nano.

App per la modifica in sicurezza dei file di configurazione

Quindi, ora sappiamo per cosa vengono utilizzati i file di configurazione, parliamo di come possiamo modificarli.

Per fare ciò, avrai bisogno di un editor di testo. Evitare word processor; questi possono aggiungere la formattazione al file che impedirebbe loro di essere letti correttamente.

Sono disponibili editor di testo nativi, come menzionato. Tuttavia, per le funzionalità aggiuntive di terze parti editor di testo sono inoltre disponibili:

Scaricare: Notepad++ per Windows (Gratuito)

Scaricare: Atom per Windows, macOS, Linux (Gratuito)

Scaricare: Sublime Editor di Testo per Windows, macOS, Linux (valutazione Gratuita)

molti strumenti di editing sono disponibili per ogni piattaforma che è difficile raccomandare una singola app. Gli utenti Linux possono anche controllare la nostra lista di editor di testo Linux. Nel frattempo questo round up di editor di testo per macOS dovrebbe aiutare i proprietari di computer Apple.

Quando si modifica un file di configurazione, è importante assicurarsi di seguire le convenzioni di esso. Questo può essere risolto solo guardandolo. Alcuni file di configurazione, come il file hosts, ti spiegheranno queste convenzioni nelle righe commentate. Altri ti costringeranno a leggere qualche documentazione o un paio di post sul blog.

Infine, se il file di configurazione che si modifica ha un formato JSON o XML, si consideri un editor di testo con evidenziazione della sintassi. Notepad++ e Atom sono entrambe buone opzioni qui. L’evidenziazione della sintassi migliorerà la tua precisione mostrandoti quando hai commesso un errore.

Altri posti si possono trovare i file di configurazione per modificare

Se siete interessati ad esplorare ulteriormente i file di configurazione, li troverete in tutti i tipi di applicazioni e piattaforme. C’è di più per i file di configurazione che specificare quali siti web e indirizzi IP per 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 è stato il caso nel gioco originale Deus Ex su PC. In questi giorni, barare è molto più difficile e spesso non vale la pena se non abilitando 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 cadere in due campi: autorizzazioni ed errore utente.

I problemi con i file di configurazione causati da problemi di autorizzazioni sono dovuti all’integrità del sistema. Non è possibile salvare le modifiche perché si sta modificando come utente normale. Per evitare errori di configurazione accidentali, molti file di configurazione sono modificabili solo da quelli con privilegi a livello di amministratore.

la risoluzione di questo è semplice:

• Su Windows, fare clic su editor di testo, e selezionare Esegui come amministratore
• Su macOS e Linux, provare l’escalation di privilegi dell’utente con il comando sudo. Quindi, se stavi modificando il tuo file hosts, esegui sudo nano / etc / hosts

(Nota che se hai specificato un nome file o una posizione diversa, creeresti effettivamente un file di configurazione nel terminale.)

Quando il problema è un errore dell’utente, significa che è colpa tua. Controlla 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 impegnarsi per le modifiche e salvare il file ricordarsi di:

• Controlla la modifica apportata
• Assicurati di aver lasciato un commento

Assicurati anche 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 importanti, sono una parte essenziale dell’uso di Linux. Sapere come modificarli correttamente può aiutarti considerevolmente.

Mentre è possibile modificare molti file di configurazione, assicurarsi di fare una copia del file prima di apportare modifiche. In questo modo, puoi tornare all’originale se qualcosa va storto.

Utilizzo di Linux? Ecco di più sulla modifica e la gestione del file hosts in Linux.

Circa L’Autore: