Varie

31 marzo 2011

Questo capitolo è una raccolta di appunti misti, non classificati in altre sezioni.

Console virtuali

1) Console virtuali: GNU/Linux dispone di sei console, più una riservata all'interfaccia grafica (X, n.7).

Gestione delle console:

• comando per cambiare console: ctrl+alt+F<n>
• comando per cambiare console: alt+F<n>

Nota: la combinazione di tasti alt+F<n> generalmente non è disponibile nella console in cui è presente l'interfaccia grafica.

UID e GID

1) Definizioni:

• User ID (UID): numero identificativo di un utente;
• Group ID (GID): numero identificativo di un gruppo.

Nomi dei file

1) Nomi dei file:

• possono contenere qualsiasi carattere ad eccezione di slash (/) che costituisce il separatore di directory;
• GNU/Linux distingue tra caratteri minuscoli e maiuscoli (case sensitive);
• le estensioni nei nomi dei file non ne identificano realmente il contenuto;
• i nomi dei file che cominciano con un punto, rappresentano file nascosti.

Virtual Richard Matthew Stallman

1) Programma per verificare la presenza di software non open source nel sistema: vrms

Sequenza:

• installare vrms: # apt-get install vrms
• avviare vrms: $ vrms
• risultato attuale (31 marzo 2011) sul mio sistema: "No non-free or contrib packages installed on natalie! rms would be proud."

Nota: questo programma non è infallibile, sulla mia Debian, ad esempio, è presente il plugin Flash della Adobe che non viene rilevato in quanto non installato tramite APT.