[Risolto] Ma quanto é grande questa partizione?

Riconoscimento, installazione e configurazione delle periferiche.
Scrivi risposta
Avatar utente
smurf
Rampante Reduce
Rampante Reduce
Messaggi: 5610
Iscrizione: domenica 9 luglio 2006, 9:18
Desktop: MATE con Compiz
Distribuzione: Ubuntu 20.04.4
Sesso: Maschile
Località: Lima - Perú

[Risolto] Ma quanto é grande questa partizione?

Messaggio da smurf »

Se date un' occhiata allo screenshot allegato capirete perché mi pongo questa domanda.
In relatá secondo i miei calcoli i 3 GB (circa) liberi che dice GParted dovrebbero esserci, ma non posso usarli.
Qualcuno sa dirmi come mai tutta questa confusione?

P.S.: Scusate lo spagnolo nelle finestre, ma attualmente vivo in Sud America.
Allegati
schermata.jpg
Ultima modifica di smurf il lunedì 23 marzo 2009, 15:26, modificato 1 volta in totale.
La terra non è una eredità che riceviamo dai nostri genitori, ma un prestito che ci fanno i nostri figli.
Avatar utente
yves
Rampante Reduce
Rampante Reduce
Messaggi: 5422
Iscrizione: domenica 25 dicembre 2005, 2:23
Località: Argentina - BsAs
Contatti:

Re: Ma quanto é grande questa partizione?

Messaggio da yves »

Wehh, dove sei di bello? io sono a 40 Km dalla capitale  :P

Per la dimensione non ho capito cosa intendi, cioè da cosa ho capito è la differenza di rilevamento fra un utility e l'altra, ci ho sbattuto un pò la testa a suo tempo e poi ho lasciato perdere, ti faccio vedere una partizione, per capirci:

Codice: Seleziona tutto

23:37:25 yves@yves-laptop ~ $ df -h /media/dati
File system            Dimens. Usati Disp. Uso% Montato su
/dev/sda6              52G   34G   18G  66% /media/dati
ok, 52 Gb, 34 usati e 18 liberi, ma:

Codice: Seleziona tutto

23:38:19 yves@yves-laptop ~ $ sudo fdisk -l | grep sda6
/dev/sda6            1496        8182    53713296   83  Linux
qui trovo quasi 54 Gb su quella partizione, me ne segnalasse almeno 53 sarei contento, comunque è cosi..

Se ho capito bene la storia, quando controlli il "device" (quindi /dev/sdX) ti trova una capacità fisica della periferica, quando invece controlli l'unità "montata" vede lo spazio che può usare, la differenza credo sia dovuta ad una porzione riservata al sistema.

Tu basati sempre a cosa dice in rapporto all'unità montata, quello in questione non è "pieno", è "saturo"  :-\
Al giorno d'oggi i cani di razza muovono la coda solo per interesse. Ma io sono un bastardo... Tuxliberty
Riscopri il PC, installa ed usa Linux ;-) - Linux != Windows Linux User # 16486 - Jabber: yvesBsAs@jabber.org
Avatar utente
nicotano
Gruppo Promozione
Gruppo Promozione
Messaggi: 3320
Iscrizione: mercoledì 14 dicembre 2005, 19:50

Re: Ma quanto é grande questa partizione?

Messaggio da nicotano »

quello spazio che non puoi usare è riservato al journaling
Avatar utente
smurf
Rampante Reduce
Rampante Reduce
Messaggi: 5610
Iscrizione: domenica 9 luglio 2006, 9:18
Desktop: MATE con Compiz
Distribuzione: Ubuntu 20.04.4
Sesso: Maschile
Località: Lima - Perú

Re: Ma quanto é grande questa partizione?

Messaggio da smurf »

yves ha scritto: Wehh, dove sei di bello? io sono a 40 Km dalla capitale  :P
Sto vivendo a Lima (Perú), tu dove sei?
Per la dimensione non ho capito cosa intendi, cioè da cosa ho capito è la differenza di rilevamento fra un utility e l'altra, ci ho sbattuto un pò la testa a suo tempo e poi ho lasciato perdere, ti faccio vedere una partizione, per capirci:

Codice: Seleziona tutto

23:37:25 yves@yves-laptop ~ $ df -h /media/dati
File system            Dimens. Usati Disp. Uso% Montato su
/dev/sda6              52G   34G   18G  66% /media/dati
ok, 52 Gb, 34 usati e 18 liberi, ma:

Codice: Seleziona tutto

23:38:19 yves@yves-laptop ~ $ sudo fdisk -l | grep sda6
/dev/sda6            1496        8182    53713296   83  Linux
qui trovo quasi 54 Gb su quella partizione, me ne segnalasse almeno 53 sarei contento, comunque è cosi..

Se ho capito bene la storia, quando controlli il "device" (quindi /dev/sdX) ti trova una capacità fisica della periferica, quando invece controlli l'unità "montata" vede lo spazio che può usare, la differenza credo sia dovuta ad una porzione riservata al sistema.
Ok, lo so che le cose stanno piú o meno cosí, quello che mi lascia perplesso e' che, se guardi bene la schermata che ho postato, i dati sono abbastanza confusi, al punto che nella finestra "Proprietá di /dev/sdb2" riporta due dati differenti nella parte alta e nella parte bassa della finestra.
Credo che sarebbe auspicabile maggior chiarezza, posteró su Launchpad per vedere cosa rispondono.
nicotano ha scritto: quello spazio che non puoi usare è riservato al journaling
E' molto probabile che tu abbia ragione nicotano, solo mi sembrava eccessivo. Fino a che so il journaling e' una funzione del filesystem ext3 per rendere sicura la scrittura dei dati, in pratica fa una specie di salvataggio dei dati esistenti prima di modificare fisicamente il disco, per poter ricostruire i dati se durante la operazione di scrittura fisica succede quaolcosa. Mi sembra che 3 GB sia uno spazio piuttosto grande per fare questo.

Comunque per tagliare la testa al topo (Frassica docet...) ho provato a riformattare la partizione in ext2, ma addirittura diventa piú piccola che in ext3, ed ora in fat32 e sembra che ci guadagno spazio.
Lo so che ci perdo il journaling, ma i dati che sono in quella partizione li ho battezzati "statici", cioé non penso di aumentarli per molto tempo, solo ascolto la musica, quindi mi sta bene che la partizione sia full. Inoltre ne ho una copia su un disco esterno usb, insieme con il backup di tutto il sistema.
Ultima modifica di smurf il mercoledì 18 marzo 2009, 15:21, modificato 1 volta in totale.
La terra non è una eredità che riceviamo dai nostri genitori, ma un prestito che ci fanno i nostri figli.
Avatar utente
Stealth
Tenace Tecnocrate
Tenace Tecnocrate
Messaggi: 17368
Iscrizione: martedì 31 gennaio 2006, 22:55
Desktop: Gnome
Distribuzione: Ubuntu 22.04 LTS

Re: Ma quanto é grande questa partizione?

Messaggio da Stealth »

Occhio che non c'è solo il journaling, i sistemi linux riservano il 5% dello spazio all'utente root. In questo modo, se l'utente babbeo riempie la partizione scaricando pornazzi (in caso di home non separata questo impedisce che il sistema si possa avviare), o un attacco dos riempie la partizione (sempre se non è separata) intasando ad esempio /var/log, l'admin può usare quello spazio riservato per avviare il sistema e cancellare.
ciao
Avatar utente
nicotano
Gruppo Promozione
Gruppo Promozione
Messaggi: 3320
Iscrizione: mercoledì 14 dicembre 2005, 19:50

Re: Ma quanto é grande questa partizione?

Messaggio da nicotano »

grazie Stealth per il remember  ;)
Avatar utente
smurf
Rampante Reduce
Rampante Reduce
Messaggi: 5610
Iscrizione: domenica 9 luglio 2006, 9:18
Desktop: MATE con Compiz
Distribuzione: Ubuntu 20.04.4
Sesso: Maschile
Località: Lima - Perú

Re: Ma quanto é grande questa partizione?

Messaggio da smurf »

Giusto Stealth, quello del 5 % mi era proprio passato di mente.
Infatti cercando un problema sul driver della scheda wifi, lo sviluppatore mi aveva fatto attivare il debug, il quale scaricava tutto l'  output su /var/log. Ovviamente dopo una giornata intera mi aveva saturato la partizione / che ha 8 GB e lo spazio rimasto disponibile era 400 MB.

Peró in questo caso non credo che si applichi, perché il 5 % di 139 GB sarebbero circa 7 GB. Molto probabilmente si applica solo al /.
edit: si applica a tutti i dischi in fase di installazione, sorry

Comunque dopo aver formattato in Fat32 ed aver ricaricato esattamente la stessa mole di dati (133.6 GB) adesso ho ancora 5 GB liberi sul disco.

Beh, sinceramente non saprei giudicare se 5 e rotti Gb che si mangia ext3 siano tanti o pochi su 139 GB in totale (3.6 %), a me sembrano tanti, ext2 se ne mangia anche di piú, nel mio caso la partizione aveva un totale libero di solo 130 GB... :o
Ultima modifica di smurf il lunedì 23 marzo 2009, 15:27, modificato 1 volta in totale.
La terra non è una eredità che riceviamo dai nostri genitori, ma un prestito che ci fanno i nostri figli.
Avatar utente
nicotano
Gruppo Promozione
Gruppo Promozione
Messaggi: 3320
Iscrizione: mercoledì 14 dicembre 2005, 19:50

Re: Ma quanto é grande questa partizione?

Messaggio da nicotano »

ho una  partizione ext3 di 53,2 Gb  appena formattata senza dati e già ha 1,1 Gb occupati, quindi sui 139 del tuo disco i 5 riservati mi sembra siano giustificati
Avatar utente
paper0k
Rampante Reduce
Rampante Reduce
Messaggi: 7220
Iscrizione: lunedì 2 ottobre 2006, 13:39
Contatti:

Re: Ma quanto é grande questa partizione?

Messaggio da paper0k »

Ma hai controllato cosa ti restituisce tune2fs?

Codice: Seleziona tutto

sudo tune2fs -l /dev/sda6
;)
Chiunque può essere ragionevole, ma esser sani di mente è raro (Oscar Wilde)
Wiki|Blog|Twitter|Identi.ca|last.fm
Avatar utente
smurf
Rampante Reduce
Rampante Reduce
Messaggi: 5610
Iscrizione: domenica 9 luglio 2006, 9:18
Desktop: MATE con Compiz
Distribuzione: Ubuntu 20.04.4
Sesso: Maschile
Località: Lima - Perú

Re: Ma quanto é grande questa partizione?

Messaggio da smurf »

Vabbeh, chiudiamo questo post.
Ho googlato abbondamente ed ho capito che il famoso 5% non solo serve ad evitare il riempimento del disco, che sarebbe indispensabile solo su /, ma serve anche ad evitare la frammentazione dello spazio sul disco. Peró  i dschi moderni hanno uno spazio utile enorme rispetto a qualche anno fa, adesso si parla facilmente di 250 GB, 320 GB, 500 GB ecc. Su questi dischi riservare il 5 % puó iniziare ad essere un po´ esagerato.
Tramite il comando

Codice: Seleziona tutto

tune2fs -mX
dove X e' un numero intero che indica la percentuale di spazio che si vuole riservare, si puó ridurre da 5 % a 3 % o anche 2 % (per i dischi piú  grandi), ma e'  comunque una operazione da fare con cautela.
Io per esempio sul mio famoso disco, dopo averlo riformattato in ext3 perché in fat32 presentava altri fastidi, l' ho messa al 2 %.
Ultima modifica di smurf il lunedì 23 marzo 2009, 15:28, modificato 1 volta in totale.
La terra non è una eredità che riceviamo dai nostri genitori, ma un prestito che ci fanno i nostri figli.
Scrivi risposta

Ritorna a “Driver e periferiche”

Chi c’è in linea

Visualizzano questa sezione: Bing [Bot], Sargonsei e 7 ospiti