Ma la cartella /usr/local/ a che serve??

Domande e richieste di un principiante alle prime armi con Ubuntu e il mondo GNU/Linux in generale. Per domande specifiche, utilizzare le altre sezioni.
Regole della sezione
In questa sezione possono inserire nuove discussioni solo coloro che fanno parte del livello "Prode Principiante" e che non hanno superato i 100 messaggi, tutti gli altri possono comunque rispondere regolarmente. Se si fa parte di questo livello e si è registrati al forum prima del 24 aprile 2012, data del passaggio al nuovo forum, consultare questa discussione.

Immagine Come usare UbuntuPrimi passi su Ubuntu Immagine Amministrazione del sistemaComandi di baseInstallare programmiLog di sistemaRiga di comandoSudo
attorianzo
Scoppiettante Seguace
Scoppiettante Seguace
Messaggi: 351
Iscrizione: giovedì 23 novembre 2006, 23:21
Contatti:

Ma la cartella /usr/local/ a che serve??

Messaggio da attorianzo »

Non capisco che differenza c'è tra i giochi installati in /usr/games/ e quelli installati in /usr/local/games/ ?
Avatar utente
DktrKranz
Rampante Reduce
Rampante Reduce
Messaggi: 5071
Iscrizione: giovedì 2 novembre 2006, 11:24
Desktop: GNOME Shell
Distribuzione: Debian GNU/Linux sid - x86_64
Località: Guastalla (RE)
Contatti:

Re: Ma la cartella /usr/local/ a che serve??

Messaggio da DktrKranz »

Solitamente le cartelle sotto /usr/local sono dedicate alle applicazioni compilate e installate dall'amministratore della macchina, per non mischiarle con quelle fornite dai vari pacchetti del sistema.
attorianzo
Scoppiettante Seguace
Scoppiettante Seguace
Messaggi: 351
Iscrizione: giovedì 23 novembre 2006, 23:21
Contatti:

Re: Ma la cartella /usr/local/ a che serve??

Messaggio da attorianzo »

mmm.... I pacchetti allora si installano in /usr/games/ ? Ma se usr/local/ è per l'amministratore come mai non ci vuole sudo?
Avatar utente
DktrKranz
Rampante Reduce
Rampante Reduce
Messaggi: 5071
Iscrizione: giovedì 2 novembre 2006, 11:24
Desktop: GNOME Shell
Distribuzione: Debian GNU/Linux sid - x86_64
Località: Guastalla (RE)
Contatti:

Re: Ma la cartella /usr/local/ a che serve??

Messaggio da DktrKranz »

attorianzo ha scritto: Ma se usr/local/ è per l''amministratore come mai non ci vuole sudo?
Cosa intendi di preciso? ???
attorianzo
Scoppiettante Seguace
Scoppiettante Seguace
Messaggi: 351
Iscrizione: giovedì 23 novembre 2006, 23:21
Contatti:

Re: Ma la cartella /usr/local/ a che serve??

Messaggio da attorianzo »

Cioè.. Nelle varie guide leggo che in /usr/local/games andrebbero i "binari dei giochi installati localmente", mentre in /usr/games/ i binari dei giochi (!!)

Ma ho visto che c''è anche /usr/share/games/ .

Ho letto che /usr/share/ sono i "dati condivisi (shared) indipendenti dall''architettura" ma non capisco che vuol dire...
Solitamente le cartelle sotto /usr/local sono dedicate alle applicazioni compilate e installate dall''amministratore della macchina, per non mischiarle con quelle fornite dai vari pacchetti del sistema.
Significherebbe che quando compilo da sorgenti va in /usr/local/ mentre quando installo da pacchetto va in /usr/games?

http://www.pluto.it/files/ildp/man/man7/hier.7.html

http://it.wikipedia.org/wiki/Filesystem ... y_Standard
Ultima modifica di attorianzo il sabato 13 gennaio 2007, 18:45, modificato 1 volta in totale.
Avatar utente
DktrKranz
Rampante Reduce
Rampante Reduce
Messaggi: 5071
Iscrizione: giovedì 2 novembre 2006, 11:24
Desktop: GNOME Shell
Distribuzione: Debian GNU/Linux sid - x86_64
Località: Guastalla (RE)
Contatti:

Re: Ma la cartella /usr/local/ a che serve??

Messaggio da DktrKranz »

Si, solitamente quando usi la procedura ./configure && make $$ sudo make install, le applicazioni vanno sotto /usr/local, a meno di indicare diversamente.
Scrivi risposta

Ritorna a “Dilemmi del principiante”

Chi c’è in linea

Visualizzano questa sezione: 0 utenti iscritti e 2 ospiti