I'm using Ubuntu 14.04.  I have purchased an additional partition in my hosting environment hta tis supposedly 100 GB.  However, when I check the space of that partition, I see something odd  myuser@myproject:~$ df -h /mnt/volume-nyc1-01/ Filesystem      Size  Used Avail Use% Mounted on /dev/sda         99G   93G  730M 100% /mnt/volume-nyc1-01   Shouldn't the Used + Avail equal the total size?  If not, how do I figure out where the rest of the space is getting used?
As the output of df -h shows here, something is eating up 5GB of free space. So, it's not available to use.   I'm also noticing sometimes that the hard disk gets filled up to 100% sometimes. So, I had to restart the machine or delete some unncessary files. Only noticed these in /home partition. Don't know whether these two are related, but appreciate if anyone can put some insight into this.  $ df -h Filesystem            Size  Used Avail Use% Mounted on /dev/sda8             100G   92G  2.7G  98% /home
How to convert from one grading scheme to another? I'm trying to figure out the equivalence between grade schemes in different countries.  According to some Google results:   If you are a U.S. citizen, you need a GPA of 3.2+ (it varies, some say 3.2 and some others say 3.6, etc) to apply for a position in the UK (job or university) where the prerequisite is to have a minimum grade of 2:1. In UK 2:1 is earned if you have a 60-69% of the points. I've read that 2:1 is the same as 67%. In Spain we use a grading scheme of 10 points. So according to (2), for have a UK 2:1 you need to have 6-6.9 points. If you are Spanish and have 6.7, when converting it to GPA the result is 1.5.   However, if you take the above points and treat them as a math equation, the final result will be GPA 1.5 = GPA 3.2, which doesn't make any sense.  GPA 3.2 = UK 2:1 UK 2:1 = Spain 6.7 Spain 6.7 = GPA 1.5   Replacing now...  UK 2:1 = GPA 1.5     GPA 3.2 = GPA 1.5   My question is if someone has a better explanation on converting grades obtained in different countries. In this case what is correct?        Keep Tom and I updated.      or         Keep Tom and me updated.      I understand that me is an object pronoun. And therefore I feel the second option is correct.  Especially, because I would say "Keep him updated" and also "Keep me updated". Instead of "Keep he updated" or "Keep I updated". But something about saying "Keep him and me updated" feels wrong.  However I am not sure, because several people have told me that in this case I is the correct option because it is being used in conjunction with a name (Tom) and not a pronoun. Is that correct? -ing vs -in' ending I wonder if the &quot;g&quot; in the -ing forms is pronounced. When I hear it it seems as if it's not pronounced sometimes or just slightly, though sometimes I've been told that I should pronounce &quot;g&quot; for example in &quot;meeting&quot; just to avoid saying &quot;mitten&quot;. So how should I pronounce &quot;-ing&quot;? Sometimes -ing is written in an informal way as -in' such as:  taking takin'  Is the letter &quot;g&quot; in each case pronounced differently? Show that  $$\frac{\sin x}{\cos 3x}+\frac{\sin 3x}{\cos 9x}+\frac{\sin 9x}{\cos 27x} = \frac{1}{2}\left(\tan 27x-\tan x\right)$$ What does the dot product of two vectors represent? I know how to calculate the dot product of two vectors alright. However, it is not clear to me what, exactly, does the dot product represent.  The product of two numbers, $2$ and $3$, we say that it is $2$ added to itself $3$ times or something like that.  But when it comes to vectors $\vec{a} \cdot \vec{b}$, I'm not sure what to say. "It is $\vec{a}$ added to itself $\vec{b}$ times" which doesn't make much sense to me. The repository 'http://ppa.launchpad.net/mdeguzis/libregeek/ubuntu focal Release' does not have a Release file I have a valid B1/B2 visa valid to US till March 2019 on Indian passport, I changed my citizenship to Australian. Is my B1/B2 visa on Indian passport valid? Will grammar errors become correct after enough people use them for enough time? First let me state the obvious—based on my own experience—that hordes of people are confused about certain basic grammar principles. For example, I so often see mistakes in choosing the pronoun to use with direct objects, especially when introduced by and with another person, as in "Joe talked about the book with Anna and [I/me]." Another one is the near 100% usage of "lay" instead of "lie" (and "laid" instead of "lay") nowadays, even in published sci-fi books that most certainly had professional editors proofread them.  Do you see these kinds of changes as predictors of the future? Will they become correct after enough people have used them long enough?  Both of these problems drive me bonkers, and I fight my own little battle against them when possible.  I know that dictionaries are descriptive rather than prescriptive. They're technically history books. But grammar and style books seem less so, to me. Those seem as though they ought to be prescriptive in order to reduce the erosion of structured and meaningful language.  In this tension between "what people are doing" and "what people should be doing," are we doomed to forever bear these errors just because too many people don't know the proper way? Is it worth fighting against them? Do I capitulate to the people who are quick to accept any mass public usage as a fait accompli?  Update  I don't imagine for a second that my own writing is error free. The difference with me is that when I do learn I have something wrong in my mind, I immediately change once I clearly understand it.  I also am not imagining that language is static or ignorant that today's correctness is all too often yesterday's error. The whole point of my question here, then, is: is there value in slowing the change, and if so, how is that done and how effectively?  Another way to look at what I'm trying to ask is that in a way I am hoping to define the limits of pedantry. If being pedantic is slavish adherence to outdated rules in the face of actual and foregone changed reality, then when do we conclude that a change is a foregone conclusion?  Poking fun at my own errors to highlight supposed pedantry on my part is to miss everything I am trying to say.    Update 2  It may not be an easy question, but since language change actually does or does not happen, and every person acts with more or less intention in regards to language change, there must be an answer. What I wanted to explore is the value in efforts to teach the "proper way" vs. the opposite end of the spectrum where any new usage is not just accepted but welcome or even sought out. You know, I'm reminded of something: the conservative/liberal scale:     |------+------+------+------+------+------| radical              moderate             radical liberal                                 conservative   The funny thing about those at the ends of the spectrum is that they both want things to change. The radical liberal wants language to change to something new quickly, just for the sake of newness or evolution or some other not-necessarily-realistic ideal. Similarly, the radical conservative wants things to change just as much, but back to the way it used to be, just for the sake of sameness or continuity or some other just-as-not-necessarily-realistic ideal.  I'm not particularly asking where we should be on this scale as that's purely subjective. I'm trying to ask about something purely practical and real-world: what is actually effective? Is language change inevitable, and how fast? Are efforts to reduce its rapid morphing either effective or worthwhile in any measure? All these things considered, what position with respect to language evolution is livable, practical, and sensible?  Feel free to edit my grammar. No comment necessary.  Update 3  Something that may be of interest to both my supporters and detractors: . I enjoyed it. I don't disagree with him, but I am not sure I am wholehearted in this lack of disagreement. How to represent a list as a cycle A closed form for a triple integral with sines and cosines Follow a pipe using less? Can less follow (by pressing F) a piped input (similarly to a file)? For a file that is being written to, the command  less &lt;file&gt;   will follow the file when pressing F.  But if I have a command that pipes output directly into less, like this  command | less   pressing F will do nothing.  So it looks like pipes cannot be followed like files can? Or maybe it has to do with command also writing to STDERR? The effect I'm trying to achieve is always see the latest output of the command: just like keeping PageDown pressed!  A related remark holds for G (go to end): when piping directly to less, it won't work. Well, I already searched meta as well as cleared my browser cache.  I realize this may be a SO cache problem, but it still seems kind of strange to me.    The deleted question is (assuming it still exists).  Shouldn't deleted questions only be visible to 10k users?  I'm only at 2k. How to sync gnome-calendar with an online calendar? I thought it was awesome that Ubuntu 16.04 shipped with gnome-calendar, but I noticed that holidays were not included.  I also noticed that there is an option to sync the calendar with an online one, how do I do this?  I don't know of any online calendars I could use. How can we prove that     $$\sum_{k=0}^{n}\binom{R}{k}\binom{M}{n-k}=\binom{R+M}{n}?$$   (Presumptive) Source: Theoretical Exercise 8, Ch 1, A First Course in Probability, 8th ed by Sheldon Ross. Got less output with print0 option on find? I have read the man page and other references, but I am still confused by the behavior of find with -print0 option.  -print0      This primary always evaluates to true.  It prints the pathname of              the current file to standard output, followed by an ASCII NUL              character (character code 0).   First command:  $ find /some/path/ -iname "*intro*jpeg" -o -iname "*intro*jpg" 2&gt; /dev/null /some/path//asdf199Intro-5kqlw.jpeg /some/path/199intro-2jjaj.JPEG /some/path/199intro-3.jpg /some/path/wuer199intro-4.JPG /some/path/xbzf199INTRO-1.jpg   Second command:  $ find /some/path/ -iname "*intro*jpeg" -o -iname "*intro*jpg" 2&gt; /dev/null -print0 /some/path/136intro-3.jpg/some/path/wuer136intro-4.JPG/some/path/xbzf136INTRO-1.jpg   I can see that the the filenames from the second command are null character separated, but why do I get 3 output as opposed to 5 above? Subdividing a beveled mesh creates new vertices in wrong places Active versus passive transformations Existence of subgroup of order six in $A_4$ Show that  the  alternating  group  $A_4$  of all even permutations of $S_4$ does not contain a  subgroup of order $6$.   For me am thinking to write all elements of $A_4$ and trying to find every cyclic subgroup generated by each element of $A_4$, then I have to check whether there exist such a subgroup or not! This is a long procedure for me, I ask if there is a short way to do this. I am trying to encrypt an entire USB drive with Truecrypt 7.1a. But as long as there is a partition it will only encrypt that. This will make it appear like the USB is full instead of completely empty, which isnt what Im aiming for.   I've tried with DISKPART, USB Partition Tool, and the built-in storage manager. When I delete all partitions, Windows still assigns the drive a letter and assumes that it has a partition covering the whole space.  I know that it is possible as I have done it with another USB, but I just don't remember how I did it.  Ideas? Simple animation in WinForms Imagine you want to animate some object on a WinForm. You setup a timer to update the state or model, and override the paint event of the Form. But from there, what's the best way to continually repaint the Form for the animation?   Invalidate the Form as soon as you are done drawing? Setup a second timer and invalidate the form on a regular interval? Perhaps there is a common pattern for this thing? Are there any useful .NET classes to help out?   Each time I need to do this I discover a new method with a new drawback. What are the experiences and recommendations from the SO community?