Home-theater-designers
La maggior parte dei programmi per computer che utilizziamo, che si tratti di suite per ufficio, browser Web, persino videogiochi, sono configurati tramite interfacce di menu. È quasi diventato il modo predefinito in cui utilizziamo le nostre macchine.
Ma alcuni programmi richiedono di fare un passo oltre. Invece dei menu, devi modificare un file di testo affinché il software possa funzionare come desideri.
Questi file di testo configurano il software e sono, senza sorprese, chiamati 'file di configurazione'. Se vuoi migliorare la tua conoscenza del computer dovrai sapere cos'è un file di configurazione e come modificarlo.
Cosa sono i file di configurazione?
Prima di entrare nel dettaglio tecnico, definiamo innanzitutto che cos'è 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 un modo particolare, formattati per essere configurabili dall'utente.
Sebbene alcune configurazioni siano 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 su come dovrebbero apparire. Dipende interamente dal capriccio dello sviluppatore del programma.
Gli utenti Linux avranno particolarmente familiarità con i file di configurazione poiché molte attività di manutenzione di base richiedono la loro modifica. Modificare il Raspberry Pi spesso si basa sulla modifica dei file di configurazione. Potrebbe trattarsi 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 utilizzano standard ampiamente noti utilizzati per strutturare i dati, come:
- JSON (Notazione oggetto JavaScript)
- YAML (YAML non è un linguaggio di markup)
- 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 sia il file di configurazione che vuoi modificare, è intelligente farne una copia prima di apportare modifiche. In questo modo, se qualcosa va storto, puoi ripristinare la copia e ricominciare!
vale la pena acquistare una ps4?
Ora, diamo un'occhiata a un file di configurazione del mondo reale. Come accennato in precedenza, sono disponibili in tutte le forme e dimensioni diverse. 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:windowssystem32driversetc .
Puoi aprirlo facendo doppio clic con il mouse e selezionando Blocco note dall'elenco delle app suggerite. Questo è tutto ciò di cui hai bisogno 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 utilizza gli spazi bianchi (letteralmente spazi e tabulazioni) per separare gli elementi.
Ciascun nome host ha la 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 cancelletto.
File di configurazione Linux
Su Linux, troverai il file hosts in /eccetera/ . 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à 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 .rc e li chiamiamo 'dotfile'.
File di configurazione in macOS
Come Linux, il file hosts può essere trovato in /eccetera/ su macOS.
Gli utenti Mac sapranno che BBEdit è l'editor di testo predefinito e preinstallato. Questo lo rende ideale per modificare i 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 ciò, avrai bisogno di un editor di testo. Evita i word processor; questi possono aggiungere formattazione al file che ne impedirebbe la lettura corretta.
Sono disponibili editor di testo nativi, come accennato. Tuttavia, per funzioni extra, sono disponibili anche editor di testo di terze parti:
Scarica: Blocco note++ per Windows (gratuito)
Scarica: Atomo per Windows, macOS, Linux (gratuito)
Scarica: Editor di testo sublime 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 carrellata di editor di testo per macOS dovrebbe aiutare i proprietari di computer Apple.
Quando modifichi un file di configurazione, è importante assicurarti di seguire le sue convenzioni. Questo può essere risolto semplicemente guardandolo. Alcuni file di configurazione, come il file hosts, ti spiegheranno queste convenzioni in righe commentate. Altri ti costringeranno a leggere della documentazione o un paio di post sul blog.
Infine, se il file di configurazione che modifichi ha un formato JSON o XML, considera 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 commesso un errore.
come sapere se il mio telefono è sotto controllo
Altri posti in cui puoi 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'è di più per configurare 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 i keymapping.
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, imbrogliare è molto più difficile e spesso non vale la pena a meno che non si abilita una modalità cheat ufficiale.
Anche le applicazioni Web utilizzano 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 problemi di autorizzazioni sono dovuti all'integrità del sistema. Non puoi salvare le modifiche perché stai modificando come un utente normale. Per prevenire errori di configurazione accidentali, molti file di configurazione sono modificabili solo da coloro con privilegi a livello di amministratore.
Risolvere questo problema è facile:
- Su Windows, fai clic con il pulsante destro del mouse sull'editor di testo e seleziona Eseguire come amministratore
- Su macOS e Linux, prova ad aumentare i tuoi privilegi 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 diversi, creeresti effettivamente un file di configurazione nel terminale.)
Quando il problema è un errore dell'utente, significa che è colpa tua. Verifica di non aver commesso 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 nelle modifiche e salvare il file ricordati di:
- Controlla la modifica che hai fatto
- 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 importanti, sono una parte essenziale dell'utilizzo di Linux. Sapere come modificarli correttamente può aiutarti notevolmente.
Sebbene tu possa modificare molti file di configurazione, assicurati di fare una copia del file prima di apportare qualsiasi modifica. In questo modo, puoi tornare all'originale se qualcosa va storto.
il mio disco dovrebbe funzionare a 100
Usando Linux? Ulteriori informazioni sulla modifica e la gestione del file hosts in Linux .
Condividere Condividere Tweet E-mail 6 alternative udibili: le migliori app per audiolibri gratuite o economicheSe non ti va di pagare per gli audiolibri, ecco alcune fantastiche app che ti consentono di ascoltarli gratuitamente e legalmente.
Leggi Avanti Argomenti correlati- Linux
- La tecnologia spiegata
- terminale
- Gergo
- Suggerimenti per Linux
Deputy Editor for Security, Linux, DIY, Programming e Tech Explained e Really Utile Podcast producer, con una vasta esperienza nel supporto desktop e software. Collaboratore della rivista Linux Format, Christian è un armeggiatore di Raspberry Pi, amante dei Lego e fan dei giochi retrò.
Altro da Christian CawleyIscriviti alla nostra Newsletter
Iscriviti alla nostra newsletter per consigli tecnici, recensioni, ebook gratuiti e offerte esclusive!
Clicca qui per iscriverti