I am dual booting Ubuntu 19.10 and windows 10 and I keep getting notifications that my / directory has low space. The size of / is 8GB. I have run sudo apt clean but it did not free up much space.  I have been trying to understand if I need to extend that partition and some guides I have found have not helped me. Is there no easy way to just add to it from the free disk space I have? Or do I have to create a new root partition and move everything there?  Any help appreciated.
Previously, I have installed Windows 7 on my 320 GB laptop with three partitions 173, 84 and 63 GB each. The 63 GB partition was where the Windows was installed. The rest were for file containers.  Now I changed my OS to Ubuntu 12.04 LTS. I installed Ubuntu by replacing the entire Windows 7 on the 63 GB partition. The rest of the partitions remain as an NTFS Windows partition and I can still access them both (the 173 and 84 GB partitions).  Now I want to change the two partitions of Windows into an Ubuntu format partitions plus most importantly, I want to extend the 63 GB partition to more than a 100 GB because at the moment I am running out of disk space. Whenever I try to install any application, especially using wine, it always complains for a shortage of disk space.  How do I do the extending activity before I entirely format my laptop again and lose all the important files on my partitions?
Can one create a video from sequence of meshes that you already have using blender? If I have a sequence of .obj (or any other readable format) files created from my own simulation code (say cloth simulation), can I use the rendering capabilities of blender to generate a video?   Is there a way to set the material properties for frame 1 and use the same or rest of the frames while the corresponding meshes are imported afresh from that ones I provide? Why do DNGs only show in low resolution on Google Photos? This story had a researcher landing on an uncharted planet to see if it was any good for mining some type of mineral/metal.  Whilst there he encounters this type of ball that chases him all over the planet. He ends up finding this ball’s collection of other things it has caught including animals all the way back to the dinosaurs.  On the ball it has the writing '+/-7.  In the end it chases him for so long that he weighs too little for the balls 'collection'.  Any ideas greatly appreciated. The exchange of photons gives rise to the electromagnetic force Pardon me for my stubborn classical/semiclassical brain. But I bet I am not the only one finding such description confusing.  If EM force is caused by the exchange of photons, does that mean only when there are photons exchanged shall there be a force? To my knowledge, once charged particles are placed, the electromagnetic force is always there, uninterruptedly. According to such logic, there has to be a stream of infinite photons to build EM force, and there has to be no interval between one "exchange event" to another. A free light source from an EM field? The scenario is really hard to imagine.  For nuclei the scenario becomes even odder. The strong interaction between protons is caused by the exchange of massive pions. It sounds like the protons toss a stream of balls to one another to build an attractive force - and the balls should come from nothing.  Please correct me if I am wrong: the excitations of photons and pions all come from nothing. So there should be EM force and strong force everywhere, no matter what type of particles out there. Say, even electrical neutral, dipole-free particles can build EM force in-between. And I find no reason such exchanges of particles cannot happen in vacuum.   Hope there will be some decent firmware to refresh my classical brain with newer field language codes. I've just upgraded to Ubuntu 17.10 and am missing the Ubuntu Dock settings, i.e. in gnome-control-center the dock settings are blank:    I think I might be missing the "ubuntu-dock" package, but can't find this anywhere in the software centre.  Also the gnome-control-center was completely missing after the update, and I had to install this separately - not sure if this is related.  I think this is different from  because changing the type of GNOME session doesn't fix the problem. If I go for GNOME* I get no Dock settings section at all, and if I got for Ubuntu* I get the blank Dock settings section described above.  Output of apt-cache policy gnome-shell-extension-ubuntu-dock:  rob@rob-pc:~$ apt-cache policy gnome-shell-extension-ubuntu-dock gnome-shell-extension-ubuntu-dock:   Installed: (none)   Candidate: 0.7   Version table:      0.7 500         500 http://gb.archive.ubuntu.com/ubuntu artful/main amd64 Packages         500 http://gb.archive.ubuntu.com/ubuntu artful/main i386 Packages Segmentation fault error occurs for a simple function I have coded Show that $a_n=\sin(n)$ does not converge     My idea:  Take two subsequences: $a_{n_k}=\sin(\frac {\pi k} 2)$ , $a_{n_l}=\sin(\frac {2\pi l} 3)$  So: $\forall n$ : $\lim_{n\to\infty} a_{n_k}=1$, $\lim_{n\to\infty} a_{n_l}=-1$  So two inifinite subsequence converge to different limits thus the sequence $a_n$ doesn't converge.   Is that correct ?  Edit:   The contrapositive of the defintion of a limit of a sequence:   $\exists\epsilon&gt;0 : \forall n\in N : \exists n&gt;N \Rightarrow |x_n-L|&gt;\epsilon$  Take $\epsilon =1$ and we know that $\sin(n)$ is bounded so lets take it's supermum: 1  $|1-1|&gt;\epsilon=1\Rightarrow 0&gt;1 \Rightarrow$ Contradiction. How to represent a list as a cycle Helpless after exhausting daily limit for reviewing Suggested Edits I have faced this problem earlier. But today I got to face this problem twice in a span of couple of minutes.. I have unfortunately finished my daily quota of reviewing Suggested Edits. But I want to further edit a post for which an edit has already been suggested by another user having less than 2000 Reputation.  I come across a post and it says that an edit has already been suggested which is pending for Review:   I click on edit (1) and a pop-up of Suggested Edit appears:    However, the problem is this Suggested Edit doesn't thoroughly deal with the post. It just fixes some capitalization and nothing else — no grammar fixes, no sentence restructuring to make it more clear, no code formatting, no dividing it into lists, etc. — in short, perfect candidate to be rejected. (The image for the suggested-edit I have uploaded didn't have those problems - however, there were those problems in the edits that I encountered earlier.) The problem before me is that I am helpless. I can't approve, reject or improve the edit since I have already gone past my daily quota of Reviewing them. Neither can I make the edits to the post since this suggested edit is pending review. I am completely helpless!! Whats the opinion of the community in this matter?  Should we (those with more than 2000 Rep) be able to edit them? Don't count it in our Review Progress obviously - not sure what should be done with the suggested edit already proposed.  Or, Let it be, someone else would come and edit them and other Reviewers would deal with the Suggested Edit appropriately.  Or, Something else.    Note: This might not be much of a problem for Stack Overflow since the Review Queue is very busy here. However, this is a bit of a problem for smaller sites. So, treat it as a question posted at Meta.SE and not so much at Meta.SO.  Dirty Hack: Ah... found a dirty hack to work around this situation. However, this shouldn't be used unless absolutely necessary. Credit goes to  in . To edit a post enter this link in your browser: http://${site_url}/posts/${post_id}/edit. So, to edit this particular post one would enter: http://meta.stackoverflow.com/posts/171129/edit. I repeat, the hack shouldn't be used unless necessary. Can Metamagic be used in Item Creation? What are the limits? One of my players has recently obtained the Craft Wondrous Item feat. In an attempt to prepare for what he may build I want to know the specific limits of Wondrous Items.  I know that someone can create an item for which they do not meet the prerequisites by adding +5 to the spellcraft DC, and that assistance is a thing.  Can someone use meta-magic when crafting a non-specific wondrous item?  Example: Amulet of Empowered Fire-Ball.  If so, can they use meta-magic feats they do not know, substituting for +5 DC?  Can the Spell Level exceed 9 for these items, as long as they add +5 for not meeting the CL requirements, and make the higher check?  Example: Amulet of Maximized Empowered Still Silent Disintigrate. There are a few questions on this forum asking about why Latex3 is taking so long to come out. However, all of these are from the early 2010s. I'm just wondering what the current state of the project is and whether it's ready (or nearly ready) for prime time? Tips for getting really good answers on SO Proving that $A+A \not\subset 2A $ using a particular definition for sum of sets Let $X$ de a vector space and $A\subset X$. If we define $A+B :=\{a+b|a\in A, b\in B\}$ I am trying to show that    $$ \begin{equation} 2A \subsetneq A+A, \end{equation} $$  i.e., it might happen that $2A \neq A+A$. I was able to show that $2A \subset A+A$, but I am not able to come up with a counterexample to show that the converse is not necessarily true. If I assume $A+A\subset 2A$ and let $x\in(A+A)$, then by its definition we have $x=a_1 + a_2$ for some $a_1,a_2\in A$ I guess I could naively say that $a_1+a_2 = 2(a'_1+a'_2)$ where $a_i=a_i/2$ for $i=1,2$ and I guess $(a'_1+a'_2)$ might not be an element of $A$ in some concrete case but I am not able to come up with anything and I've spent more time than I would like to admit. Any suggestions?  Thank you. I attempted a proof of mathematical induction using an arbitrary base case, but was unsuccessful (and hence this question). Below is what I was trying to do and along with my thinking; if anyone can point me in the right direction I'd appreciate it.  The induction I am using: Let $P$ be a property about the natural numbers $\mathbb{N}$ with $0\in\mathbb{N}$, and let $P(n)$ denote the statement that the property $P$ holds for $n\in\mathbb{N}$. Suppose $P(0)$. Furthermore suppose that for each natural number $k$, $P(k)$ implies $P(k+1)$. Then $\forall nP(n)$.  What I am trying to prove: Let $P$ be a property about the natural numbers $\mathbb{N}$ with $0\in\mathbb{N}$, and let $P(n)$ denote the statement that the property $P$ holds for $n\in\mathbb{N}$. Suppose for $n_0\in\mathbb{N}$, $P(n_0)$. Furthermore suppose that for each natural number $k\geq n_0$, $P(k)$ implies $P(k+1)$. Then $\forall n\geq n_0 P(n)$.  My attempted proof: define $Q(n)$ to be $n\geq n_0 \to P(n)$. Then we wish to prove $\forall nQ(n)$. We induct on $n$.  Base case (for ordinary induction): $Q(0)$ is $0\geq n_0\to P(0)$. Since $n_0\in\mathbb{N}$, $0\geq n_0$ implies that $n_0=0$. Since $P(n_0)$, $P(0)$, which proves the base case.  Inductive step: we want to show $\forall n(Q(n)\to Q(n+1))$. To do this, we assume $k\geq n_0 \to P(k)$ and try to show $k+1\geq n_0 \to P(k+1)$.  Since $k\geq n_0 \to P(k)$, we first prove the case where $k\geq n_0$ and $P(k)$. By the hypothesis of the proof, we see that $P(k+1)$, which proves the case for $k+1$.  This is where I am having trouble: For $k&lt;n_0$, I am unable to show the implication for $k+1$.  So my questions would be: (1) is the overall approach for the proof correct? (2) If so, how might I go on to prove the case when $k&lt;n_0$?  Thanks in advance. (This is not homework, by the way.) Why do electrons not fully fill up all the orbitals sequentially? Why do electrons not fully fill up all the orbitals sequentially? By this I mean: why don't the electrons fully take up the previous orbit first and then move onto the next orbit? Take calcium for example, it's electron config is 2, 8, 8, 2. Why isn't it 2, 8, 10? Why does another orbit need to be created when there are still many spots to fill up?  (I know that this is a chemistry question in a physics forum, but I really could not find a chemistry or even a broader science type forum here ) Permanently mounting loop device I created a file   touch /datastore/virtual/pseudoblock   created a loop device with it  sudo losetup /dev/loop0 /datastore/virtual/pseudoblock   (although I got a warning about its size)  and then initialized it with random data  dd if=/dev/urandom of=/dev/loop0 bs=1M count=100   My questions are  a) why is it not displayed yet in my block devices' list?  NAME                     MAJ:MIN RM   SIZE RO TYPE  MOUNTPOINT sdb                        8:16   0 489.1G  0 disk   ├─sdb2                     8:18   0   488M  0 part  /boot ├─sdb3                     8:19   0 488.1G  0 part   │ └─sdb3_crypt           253:0    0 488.1G  0 crypt  │   ├─ubuntu--vg-root    253:1    0 472.2G  0 lvm   / │   └─ubuntu--vg-swap_1  253:2    0  15.9G  0 lvm   [SWAP] └─sdb1                     8:17   0   512M  0 part  /boot/efi sda                        8:0    0 931.5G  0 disk   └─sda1                     8:1    0 931.5G  0 part     └─sda1_crypt           253:3    0 931.5G  0 crypt      └─store--vg-store1tb 253:4    0 931.5G  0 lvm   /datastore   b) how can I permanently mount it via /etc/fstab since I cannot get its UUID?  $ blkid /dev/mapper/sdb3_crypt: UUID="fSHjbj-51K2-QfhI-G0Wb-o3lN-4pE1-BB4wCP" TYPE="LVM2_member" /dev/mapper/ubuntu--vg-root: UUID="9e452886-4d8g-fj54-854c-80bc171826e8" TYPE="ext4"   working on   $ lsb_release -a No LSB modules are available. Distributor ID: Ubuntu Description:    Ubuntu 16.04.5 LTS Release:    16.04 Codename:   xenial   with  $ uname -a Linux pkara-pc01 4.15.0-42-generic #45~16.04.1-Ubuntu SMP Mon Nov 19 13:02:27 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux I am a Chinese citizen married to a US citizen last year. I am going to apply for a UK tourist visa. The name shows on my passport is my maiden name, while any other documents the UK visa needed, such as bank statement, is with my married name. I can provide my marriage license to prove the link between my maiden name and married mane.   Can I apply for this UK visa with my situation? Windows 8 removes Grub as default boot manager I have a Sony VAIO S series with Windows 8 preinstalled, and I installed Ubuntu 12.10 on a new partition. When the PC boots Grub is display, and I can choose between Windows 8 (didn't worked at the beginning, had to change Grub settings) and Ubuntu 12.10. When I select Ubuntu 12.10 everything is OK, but when I use Windows 8, and I restart Grub isn't displayed anymore (Windows 8 boots immediately).  I booted a Ubuntu 12.10 LiveUSB, used efibootmgr, and found out that Windows 8 (each time it boots) changes EFI default bootloader from Grub to Windows Boot Manager.  How do I change this in Windows 8? I read something about bcdedit, but it does not work or I don't know how to use it... Complex zeros of the polynomials $\sum_{k=0}^{n} z^k/k!$, inside balls If $a, b$ are positive real numbers and $a+b = 1$, prove that :  $$\left(a+\frac{1}{a}\right)^2 + \left(b+\frac{1}{b}\right)^2 \geq \frac{25}{2}$$  I can see that the value $\frac{25}2$ is attained for $a=b=\frac12$. But I do not know how to show that this is the minimal possible value.  Thank you.