Filesystem and gparted disagree on free memory My filesystem says I have:    While gparted says:    And if I run disk analyser on root partition only:    it mentions I only have 6Gb in total, instead of 15 from gparted.  I guess gparted is right, but I also understand I only can use the available memory seen by the system. Which means there might be some leak/miscalculation somewhere. How can I unify those? Should I do some kind of defragmentation?   Thanks    EDIT:  Here are my terminal outputs:  ▶ sudo fdisk -l [sudo] password for augustin:   Disk /dev/sda: 119.2 GiB, 128035676160 bytes, 250069680 sectors Units: sectors of 1 * 512 = 512 bytes Sector size (logical/physical): 512 bytes / 512 bytes I/O size (minimum/optimal): 512 bytes / 512 bytes Disklabel type: dos Disk identifier: 0x000ecc64  Device     Boot     Start       End   Sectors  Size Id Type /dev/sda1        62566400 209952767 147386368 70.3G 83 Linux /dev/sda2       241467392 250068991   8601600  4.1G 82 Linux swap / Solaris /dev/sda3  *    209952768 241467391  31514624   15G 83 Linux /dev/sda4            2048  62566399  62564352 29.9G  5 Extended /dev/sda5            4096  30785535  30781440 14.7G 83 Linux /dev/sda6        30787584  62566399  31778816 15.2G 83 Linux  Partition table entries are not in disk order.  ▶ df -h Filesystem      Size  Used Avail Use% Mounted on /dev/sda3        15G   14G  373M  98% / udev             10M     0   10M   0% /dev tmpfs           774M  9.7M  764M   2% /run tmpfs           1.9G  195M  1.7G  11% /dev/shm tmpfs           5.0M  4.0K  5.0M   1% /run/lock tmpfs           1.9G     0  1.9G   0% /sys/fs/cgroup /dev/sda6        15G   11G  3.1G  79% /media/partition2 /dev/sda5        15G  7.7G  6.0G  57% /media/partition1 /dev/sda1        70G   56G  9.6G  86% /home tmpfs           387M   36K  387M   1% /run/user/1000   And my full gparted, to make it clearer:    So my /home repository is not in the same partition as my /.  Also I use Docker, which might have something to do with memory usage I think.
ext4 partition size / free space discrepancies While creating a 250GiB backup partition for my data, I have noticed lots of discrepancies between reported partition size and free space in Nautilus, gParted, df, tune2fs, etc.  At first I thought it was a GiB / GB confusion. It was not.  Then I thought it could be ext4's reserved blocks. It was not.  Im completely puzzled. Here are some images. Here are the steps:   First, NTFS. 524288000 sectors x 512 bytes/sector = 268435456000 bytes = 268.4 GB = 250 GiB.      Nautilus say "Total Capacity: 250.0 GB" (even though its actually GiB, not GB). Apart from that minor mislabeling, so far, so good   Now, same partition, formated as ext4 with gparted:     First, Last and Total sectors are the same. It IS the same 250GiB partition. Used size is 4.11GiB (reserved blocks maybe?)    Nope. Looks like reserved blocks are 12.7 GiB (~5%. ouch!). But... why Total Capacity is now only 246.1 GiB ???. That difference (sort of) matches the 4.11 GiB reported by gparted. But... if its not from reserved blocks, what is it? And why gparted didnt report that 12.7GiB of used space?  $ df -h /dev/sda5 Filesystem            Size  Used Avail Use% Mounted on /dev/sda5             247G  188M  234G   1% /media/BACKUP   df matches Nautilus in reported free space. But.. only 188M used? Shouldnt it be ~12GB? And total capacity is still wrong. So i ran tune2fs to find some clues. (irrelevant output is ommited)  $ sudo tune2fs -l /dev/sda5 tune2fs 1.41.12 (17-May-2010) Filesystem volume name:   BACKUP Filesystem UUID:          613d592e-47f5-4206-96a7-210090d340ef Filesystem features:      has_journal ext_attr resize_inode dir_index filetype extent flex_bg sparse_super large_file huge_file uninit_bg dir_nlink extra_isize Filesystem flags:         signed_directory_hash  Filesystem state:         clean Filesystem OS type:       Linux Block count:              65536000 Reserved block count:     3276800 Free blocks:              64459851 First block:              0 Block size:               4096   65536000 total blocks * 4096 bytes/block = 268435456000 bytes = 268.4 GB = 250 GiB. It matches gparted.  3276800 reserved blocks = 13421772800 bytes = 13.4 GB = 12.5 GiB. It (again, sort of) matches Nautilus.  64459851 free blocks = 264027549696 bytes = 264.0 GB = 245.9 GiB. Why? Shouldnt it be either 250-12.5 = 237.5 (or 250-(12.5+4.11)=~233) ?  Removing reserved blocks:  $ sudo tune2fs -m 0 /dev/sda5 tune2fs 1.41.12 (17-May-2010) Setting reserved blocks percentage to 0% (0 blocks)  $ sudo tune2fs -l /dev/sda5 tune2fs 1.41.12 (17-May-2010) Filesystem volume name:   BACKUP Filesystem UUID:          613d592e-47f5-4206-96a7-210090d340ef Filesystem features:      has_journal ext_attr resize_inode dir_index filetype extent flex_bg sparse_super large_file huge_file uninit_bg dir_nlink extra_isize Filesystem flags:         signed_directory_hash  Filesystem state:         clean Filesystem OS type:       Linux Block count:              65536000 Reserved block count:     0 Free blocks:              64459851 Block size:               4096   As expected, same block count, 0 reserved blocks, but... same free blocks? Didnt I just freed 12.5 GiB ?  $ df -h /dev/sda5 Filesystem            Size  Used Avail Use% Mounted on /dev/sda5             247G  188M  246G   1% /media/BACKUP     Looks like I did. Avaliable space went up from 233 to 245.9 GiB. gparted didnt care at all, showing exactly same info! (useless to post an identical screenshot)  What a huge mess!  I tried to document it as best as I could... So, please can someone give me any clue on what's going on here?   What are those misterious 4.11 GiB missing from NTFS -> ext4 formatting? Why there are so many discrepancies between gparted, Nautilus, tune2fs, df? What is wrong with my math? (questions in bold scattered this post)   Any help is appreciated. While I can not figure what is going on, I am serilously considering giving up on ext4 in favor of NTFS for everything but my / partition.  Thanks!
Eclipse menus are cut off or don't show I'm using Ubuntu 13.10 (with JDK 1.7.0_45).  I've downloaded and uncompressed Eclipse Kepler for Java EE Developers.  The software menus are messed up. I didn't notice similar problems in other software.  When I click any menu in Eclipse, the drop-down seems to be "cut". Sometimes the drop-down shows, but the options are invisible.  I tried Eclipse Indigo, but the same problem occurs. I have a psd that has rounded rectangle. I need to create a new rounded rectangle with the same radius. How do I determine the radius used on that said rounded rectangle?   I feel like this is such an awful question but thanks in advance for answering. Does $\lim_{n\to \infty} \int^{\infty}_{-\infty} f_n(x) dx\, = \int^{\infty}_{-\infty} f(x)\,dx\,$? If $\displaystyle\{f_n(x)\}$ is sequence of continuous function on $\mathbb{R}$ converging uniformly to $f(x)$, then does $\displaystyle\lim_{n\to \infty} \int^{\infty}_{-\infty} f_n(x) dx\, = \int^{\infty}_{-\infty} f(x) dx\,$ hold? I know  it holds if we integrate over an interval of the form $[a,b]$ but not sure about improper integral! How do I use superposition to solve a circuit? Yes, this is a pedagogical question. While answering another recent question, I wanted to refer the OP to concise instructions for using superposition to solve circuits. I found that all the easily found resources online were somewhat deficient. Typically they were unclear about what kinds of circuits superposition applies to, or about the actual method to apply the superposition theorem to a circuit problem. So,   What kinds of circuits can be solved by superposition?  How are different kinds of sources treated when solving by superposition?  What are the steps to solve a circuit using the superposition theorem? Is $|xy|$ differentiable in $(0,0)$? Is $f(x,y) = |xy|$ differentiable in $(0,0)$? I have no idea how to approach this problem. Is it possible to restore a MySql database only using files from Data directory? I have a mysql installed inside a windows virtual machine. The hard drive was crashed and the system is not able to restore all again. But I can have access to entire c: ROOT. So I went to  c:/ProgramData/Mysql/Mysql Server 5.5/data/myDatabaseName    There I can see different files like: .frm, .opt, .trg and .trn. In a regular way, I could run a mysqldump to backup and restore all database from command line, but the system is not able to be restored. So I had to copy all these files and past inside inside the same  directory inside same database in another physical instance.   The issue is some tables are not been recognized by this new instance. So I think copy and past is not enough to restore the database.   What am I missing?    Note: Database has innoDb and Myisam tables. Can the 'bin size' in a histogram be thought of as a regularity constraint? Find the limit of $\frac{\log(n+1)}{\log(n)}$ where $n\rightarrow\infty$. Here $n$ is a natural number so I guess we can't use L'Hopital Analytic continuation of a power series 2 Another Qual question here,  For the function $$\sum_{n=0}^\infty z^{2^n}$$,  Prove the following:  i) $f$ converges to a function analytic in the open unit disk $D$,  ii) $f(z) =z+f(z^2)$ and  iii) $f(z)$ can not be analytically continued past any point on the unit circle.  I can even see (ii) very easily, but I can not see how can I prove rigorously (i) and  (iii). Help please. What are the differences between "-" and "--" in commands? I often see a single dash - or double dash -- followed by linux commands or other installed linux programs.   What are the differences between single dash and double dashes?  Is it just about abbreviation?  For example, -v means --verbose most of the time. If $R_{1}$ and $R_{2}$ are relations on a set S with $R_{1};R_{2}=R_{2};R_{1}$. Then $R_{1}$ and $R_{2}$ are bijective maps For the surjectivity part, I showed that if $(a,b)\in I$ then $(a,c)\in R_{1}$ and $(c,b)\in R_{1}$ and $(a,c)\in R_{2}$ and $(c,b)\in R_{2}$ for some $c\in S$. Now for arbituary $(x,y)\in R_{1}$ we have $(x,z)\in I$ which implies that $(y,z)\in R_{2}$. But also $(y,z)\in R_{1}$, so $R_{1}$ is surjective. Similar argument for $R_{2}$  And for Injectivity, I've tried to show that if $aR_{1};R_{2}c$ and $bR_{2};R_{1}c$, then $a=b$ but I am not entirely sure what $a=b$ means in this context. Do I have to show that there is an equivalence relation containing (a,b)?  edit: $R_{1};R_{2}$ is a composition of two relations and $I=R_{1};R_{2}$ How to highlight paragraph (linebreak preserving) as well as itemize, tabular etc.? I want to highlight changes which are introduced by myself in the pdf document. So far the soul package is very neat but it does throw errors when I want to highlight not only paragraphs but also some itemize environments, and I don't want to highlight the items separately. Also the \cite{...} command is not supported by \hl. I recently posted a slightly different question:   BTW: What I liked most over other approaches like pdfcomments etc. is that the \hl command from soul has a very exact and clear output, no icons, no clicking etc. involved. Together with todonotes it's very good and almost all I need. I am trying to show that if $n$ is an odd natural number, then $8$ divides $n^{2}-1.$ I was able to prove that because I know that if $n$ is an odd natural number, then $n^{2}$ can be written as $8k+1$ for some $k\in \mathbb{N}.$ I would like to show this question by using the Euclidian division. Then I wrote $n^{2}-1=8k+r$, where $0\leq r  &lt; 8.$ When $r=2$ we get $n^{2}-1=8k+2.$ Since $n$ is odd, then $n^{2}-1$ is even and I got stuck. Is there way to fix that? What are bitwise operators? Why is surface tension parallel to the interface? A text says:     The surface tension of a liquid results from an imbalance of intermolecular attractive forces, the cohesive forces between molecules:   A molecule in the bulk liquid experiences cohesive forces with other molecules in all directions.   A molecule at the surface of a liquid experiences only net inward cohesive forces   If this is the case: Why is surface tension considered or experienced as a force parallel to the interface while it is so obvious that it must be perpendicular to it? Is there some markup to post tags? I am wondering because I was editing my profile and I though it would be nice to put the languages I know and stuff like tags.  Is it possible to post a tag? If it's not, do you think it's possible to implement on the profile?  For example:  [c#]   Would generate    With tag formatting and link... Product and sum of positive operators is positive I want to show that for $S,T\in B(H)$ bounded operators on Hilbertspace with $S\geq 0,T\geq 0$ and $ST=TS$,  we have $S+T\geq 0$, and $ST\geq 0$.  $T\geq 0$ means $(Tx,x)\geq 0$.    To me it seems that $((S+T)x,x) = (Sx,x)+(Tx,x)\geq 0$. But for $ST$ i like some help.   There is a theorem in Rudin (12.32) that says that for every $T\in B(H)$ we have an equivalence:   $T$ is positive $\Leftrightarrow$ $T$ is self adjoint, i.e. $T=T^*$ and $\sigma(T)\subset [0,\infty)$.   Since $S, T$ are self adjoint we know that $ST=TS = S^*T^* = T^*S^*$ ($ST$ is selfadjoint since $S,T$ commute). Also I read somewhere that if $S,T $ commute then $\sigma(ST)\subset \sigma(S)\sigma(T)$, but I am not sure if this is true. Clearly I cant prove it, but if it were true by this ''Theorem'' it would follow that $ST \geq 0$.   Is there a more straightforward way? Logical Volume, Physical Volume and Volume Groups Please can someone explain to me the meaning of Logical Volume, Physical Volume and Volume Groups? Of what importance and advantage are they in linux? Render result is completely blank In which situations is it OK to omit articles in short sentences? Recently, in many new online software I often see that developers omit articles in short sentences, especially on action buttons or tooltips.     For instance: "Add new task" (not "Add a new task"), "Create project" (not "Create a project"), but often in the same software I can see "Make a copy". What are situations it can be justified?