I used dd to copy an Ubuntu 18.04 installation from a 64GB partition on drive X to a 128GB partition on drive Y. See the below images for the problem; I am still limited to 64GB despite having a 128GB partition.         EDIT: Answer is below. I used resize2fs to grow the filesystem.
I resized the root partition with GParted, from 20 GB to 40 GB, but the filesystem still reports a size of 20 GB.  How can I use all 40 GB?    Update  The resized partition was an LVM Physical Volume (/dev/sda2), and the boot partition is ext4 (/dev/sda1).
Money transfer from India to USA My daughter is a US Citizen. We (parents)are also planning to permanently settle in US. We will go their as Permanent Resident,as per US Law. We have a house here in India worth Rs.2 Crores.  We want to sell it and take money with us. We have ordinary savings Bank account here in India.  My US Citizen Daughter is a Income Tax payer.  Now your advises are required as under:   What are the routes to take money from India to US and our tax liabilities Can I gift this whole amount to my US Citizen Daughter or what is the maximum limit of Gift amount.  What will be the tax liability on me and on my Daughter in case of Gift   Whether I have to show it in my Income Tax Return or in my Daughter's Tax Return. What US Income Tax Laws says. What will be the procedure to send money as Gift to my Daughter. Will the money will go directly from my Bank Act.to my Daughter's Bank Account. Will there will be wire transfer from bank to bank Can I send money through other money sender Certified Companies also.    Please advise. If there is something more on the subject to make me understand, please advise. Thanks, How to view the system console message after Blender crashes? I am testing a script in Blender game engine. I can view the helpful message on the external system console when the script throws exception. Sometimes the bugs of the script cause the Blender to crash and close the console immediately.    Is there any way to view the message after the Blender crashes? How to write the message to a text file for later viewing? Any suggestion? Follow up: instance control in Java without enum What kind of material is the Robert Downey Jr. Iron Man's armor supposed to be made from? I know he crafted the prototype from the things he had on hand, but once he was able to build the next one(s) in his own lab, what hi-tech material did he use for the movie armor? How to compare the differences between two PDF files on Windows? I always thought with "any" I should use the plural, but on the internet I can find both:   It can be found in any book. It can be found in any books Do you have any books? It can be said in any language.  This can be understood by anyone.  It has been used in any form.   So, what's correct?  Is there any rule? Make sure only a single instance of a program is running Is there a Pythonic way to have only one instance of a program running?   The only reasonable solution I've come up with is trying to run it as a server on some port, then second program trying to bind to same port - fails. But it's not really a great idea, maybe there's something more lightweight than this?    (Take into consideration that program is expected to fail sometimes, i.e. segfault - so things like "lock file" won't work) Verify that $4(29!)+5!$ is divisible by $31$. Securely erase hard drive using the Disk Utility Can someone give me some example code that creates a surface with a transparent background in pygame? TikZ or cryptocode package for cryptographic protocol diagrams Parse error in sudoers file YA novel about dystopian future with non-human overlords and teenage heroes Meaning of the word "axiom" Thus, axioms are propositions we assume to be true and we use them in an axiomatic theory as premises to infer conclusions, which are called "theorems" of this theory.  For example, we can use the  to prove theorems of arithmetic.  This is one meaning of the word "axiom". But I recognized that the word "axiom" is also used in quite different contexts.  For example, a group is defined to be an algebraic structure consisting of a set $G$, an operation $G\times G\to G: (a, b)\mapsto ab$, an element $1\in G$ and a mapping $G\to G: a\mapsto a^{-1}$ such that the following conditions, the so-called group axioms, are satisfied:   $\forall a, b, c\in G.\ (ab)c=a(bc)$, $\forall a\in G.\ 1a=a=a1$ and $\forall a\in G.\ aa^{-1}=1=a^{-1}a$.      Why are these conditions (that an algebraic structure has to satisfy to be called a group) called axioms? What have these conditions to do with the word "axiom" in the sense specified above? I am really asking about this modern use of the word "axiom" in mathematical jargon. It would be very interesting to see how the modern use of the word "axiom" historically developed from the original meaning.   Now, let me give more details why it appears to me that the word is being used in two different meanings:  As peter.petrov did, one can argue that group theory is about the conclusions one can draw from the group axioms just as arithmetic is about the conclusions one can draw from the Peano axioms. But in my opinion there is a big difference: while arithmetic is really about natural numbers, the successor operation, addition, multiplication and the "less than" relation, group theory is not just about group elements, the group operation, the identity element and the inverse function. Group theory is rather about models of the group axioms. Thus: The axioms of group theory are not the group axioms, the axioms of group theory are the axioms of set theory.  Theorems of arithmetic can be formalized as sentences over the signature (a. k. a. language) $\{0, s, +, \cdot\}$, while theorems of group theory cannot always be formalized as sentences over the signature $\{\cdot, 1, ^{-1}\}$. Let me give an example: A typical theorem of arithmetic is the case $n=4$ of Fermat's last theorem. It can be formalized as follows over the signature $\{0, s, +, \cdot\}$: $$\neg\exists x\exists y\exists z(x\not = 0\land y\not = 0\land z\not = 0\quad\land\quad x\cdot x\cdot x\cdot x + y\cdot y\cdot y\cdot y = z\cdot z\cdot z\cdot z).$$ A typical theorem of group theory is  which states that for any finite group G, the order of every subgroup H of G divides the order of G. I think that one cannot formalize this theorem as a sentence over the "group theoretic" signature $\{\cdot, 1, ^{-1}\}$; or can one? How to acknowledge a deceased advisor’s contributions to a paper? One of my advisors suddenly passed away while I was in graduate school.  We had some discussions and ideas about future publications, but he passed away before any of the work was completed.  When the work was finally completed and published, I and my co-authors were therefore presented with an ethical dilemma about how best to acknowledge his contributions to the ideas behind the paper.  Should we list him as a co-author?  Put him in the acknowledgements?  Listing him as an author would give credit for the original idea, however, we would have no way of knowing if he actually approved of—and would want his name attached to—our methods and writing.  In the end my co-authors and I decided to list him as a co-author with a footnote stating that he passed away before publication.  I’m interested to hear from others who have been in similar situations and/or suggestions on what constitutes “co-authorship” when one of one’s collaborators passes away before the publication or work is complete. More Efficient Spatial join in Python without QGIS, ArcGIS, PostGIS, etc I'm attempting to do a spatial join much like the example here: . However, that approach seems really inefficient / slow. Even running this with a modest 250 points takes almost 2 minutes and it fails entirely on shapefiles with > 1,000 points. Is there a better approach? I'd like to do this entirely in Python without using ArcGIS, QGIS, etc.  I'd also be interested to know if it's possible to SUM attributes (i.e. population) of all the points that fall within a polygon and join that quantity to the polygon shapefile.       Here is the code I'm trying to convert. I get an error on line 9:  poly['properties']['score'] += point['properties']['score']   which says:     TypeError: unsupported operand type(s) for +=: 'NoneType' and 'float'.    If I replace the "+=" with "=" it runs fine but that doesn't sum the fields. I've also tried making these as integers but that fails as well.  with fiona.open(poly_shp, 'r') as n:    with fiona.open(point_shp,'r') as s:     outSchema = {'geometry': 'Polygon','properties':{'region':'str','score':'float'}}     with fiona.open (out_shp, 'w', 'ESRI Shapefile', outSchema, crs) as output:         for point in s:             for poly in n:                 if shape(point['geometry']).within(shape(poly['geometry'])):                       poly['properties']['score']) += point['properties']['score'])                     output.write({                         'properties':{                             'region':poly['properties']['NAME'],                             'score':poly['properties']['score']},                         'geometry':poly['geometry']}) Back when the first discussion about deleted questions came up, I  building an official unofficial read-only archive for good deleted SE content.  I had a plan to build something like this:    Each link would point to a 1:1 scraped StackOverflow (or other SE network) deleted question (of course with a big fat disclaimer to the top, historical data, legal stuff, yada yada yada - and of course after asking Stack Exchange for permission, seeing as this would go far beyond what the CC license allows.)   I also registered a domain name that would (IMO) suit nicely, overflown.org.  However, when thinking about it, I realized doing this properly is a lot of work. You would have to:   build a scraper that can use a 10k+er's OpenID to fetch the deleted question (using the API or the data dump is for wusses. If we go through all this trouble, we want a historical document of what the site looked like "back then", right?) edit the page's DOM to remove dynamic elements, remove the "deleted" CSS classes, remove all the voting abilities from the buttons, and add the "this is historical data" disclaimer fetch - this is the biggest part and applies even if you use the API or data dump - all linked image resources (even those from imgur - even images used only in deleted questions could be purged one day), store them, and link them fetch all associated CSS style sheets and store them intelligently - preferably in a way that you don't fetch a copy of each file for each page (as normal page scrapers do), but also in a way that doesn't break if SE update their style sheets   long story short, I won't be in a position to build this any time in the foreseeable future - with old work, new work, and studying, I really have enough on my plate already.  Of course, if somebody else in the community feels like giving this a try, cool! But what I was really thinking is - maybe this is something Stack Exchange should build after all?   I know Jeff's  on these questions is used to be     @system I did think about a sweet place for them, in the bitbucket. – Jeff Atwood♦ Dec 29 '10 at 1:54   but come on. Think about it:     Future deletion discussions and changes in on-topicness policy would become way more relaxed because the popular and loved stuff has a place to go. A site for "overflown" questions could be curated by selected community members, who decide whether a contribution deserves to be archived or not.  A separate domain name (I'm happy to donate overflown.org for the purpose if desired) and the separate site design would create enough distance to the Stack Exchange network: it would be crystal clear that this read-only archive is for historical purposes only, and the existence of a question there does not mean you can ask something similar on one of the live sites. The pages would be 1:1 scrapes of what the site looked like at the time of the scraping, making it a general historical archive as well. These questions traditionally drive a lot of traffic. The possibility of continuing to show ads in the usual places would allow Stack Exchange to take advantage of that traffic without endangering content quality on the SE network. Hosting an archive like this is a job for a business, not us regular joes. A private project hosted by some community member can go down once they forget to pay a bill, or decide they want to password protect their private blog or photo album. The ideal place to host a site like this is at a company with professional admins that intends to stay online for a long time.    How about it? The SourceForge signon page says I can associate an OpenID with my existing SourceForge account:    I enter my currently-signed-in SourceForge account password I select the custom OpenID URL and enter https://openid.stackexchange.com I'm redirected to https://openid.stackexchange.com/account/login?&lt;session key bits&gt; I enter my openid.stackexchange.com login information there I get the error message:     Cannot Complete Login      Detected an attempt to send an assertion when the identifier () is not owned by the logged in user.    I don't understand what that means. How is Yu-Gi-Oh played with more than two players? Can you grapple/shove with the Hunter Ranger's Whirlwind Attack?