I have just downloaded the ubuntu on windows 10. I have been trying to run virtualbox and i have been getting the about   dpkg: error processing package virtualbox-dkms (--configure):    dependency problems - leaving unconfigured  Errors were encountered while processing:   libbinutils:amd64   binutils  binutils-x86-64-linux-gnu    gcc-7   g++-7    gcc    dpkg-dev    dkms   g++   build-essential  virtualbox-dkms   E: Sub-process /usr/bin/dpkg returned an error code (1)   How can I fix them and get docker and kubernetes running? Also I wish to get GUI options how can I use them?
I searched around, and currently there are two methods suggested; installing an enhancement for Windows Subsystem for Linux and installing an XServer.  I want to know which method is the most hassle-free (easy to install AND to use), and which one is less memory-heavy.  I just want Synaptic and CMake. Why couldn't that be a builtin feature?
Multi-line list items on WinForms ListBox control? Inheriting non-implicit constructors on Apex classes If I have an abstract parent class like this:  abstract class Vehicle {     public Vehicle(Person driver) {         //     } }   and then I create a child class like this:  public class MagicCarpet extends Vehicle {     //this won't compile }   I encounter the following Compile Error:     Error: Parent class has no 0-argument constructor for implicit construction at line ... column ...   Obviously I can explicitly re-declare a constructor on the child class toget it to compile:  public class MagicCarpet extends Vehicle {     public MagicCarpet(Person driver) {         super(driver);     } }   But I feel this isn't DRY. Not sure what's actually going on under the covers here.  How can I get a constructor (other than the implicit 0-argument one) to be inherited by a child class? Why $¬¬\bot \not\in PROP$? I'm reading Dalen's Logic and Structure.  He gives the definition of the set $PROP$:     Definition $\bf2.1.2$ The set $PROP$ of propositions is the smallest set $X$ with the properties       $\begin{array}{rl} \rm(i)&amp;p_i\in X(i\in N),\bot\in X,\\ \rm(ii)&amp;\varphi,\psi\in X\Rightarrow(\varphi\wedge\psi),(\varphi\vee\psi),(\varphi\to\psi),(\varphi\leftrightarrow\psi)\in X,\\ \rm(iii)&amp;\varphi\in X\Rightarrow(\neg\varphi)\in X.\\ \end{array}$   Then there are some examples:        And he says that $¬¬\bot \not\in PROP$, but I don't understand it. Isn't $¬¬  \bot=\bot$ due to the property of double negation? Considering this is true, $\bot\in PROP$. Of course, in this question, I'm pressuposing some kind of evaluation, that $¬¬ \bot$ becomes $\bot$ due to the law of the double negation, but perhaps it should be hold in an unevaluated form.  Ex:. $1+1=2$ because we presupose the $1$ merges with $1$ and then becomes two. If the merge (evaluation) does not happen, then I guess:  $$1+1=1+1$$ $$2=2$$ $$2\neq 1+1$$ $$1+1\neq 2$$  Perhaps it's something like that, I took the idea from Mathematica. Sometimes it does treats things as different in the absence of full evaluation. How to share the "Look Back" video from Facebook? On Facebook, there is a  looking back on your Facebook history. Apparently, some people have shared this video with their friends, however I and someone else cannot figure out how to do so. This URL is not unique, it's a global URL which shows the video of who's logged in. People say there's supposed to be a "share" link, but there are no links whatsoever. And, I can't share the URL because it would show them their own videos.  How do I share this video with friends on Facebook?  without using a screen recorder to capture it facl ignoring the "x" permission but only on files When I use setfacl to manage on what permissions should the children files / directories have, for some reason the files have all the permissions except the execute ("x") one.  someuser@someuser-MS-7816:/opt/lampp/htdocs/project$ getfacl . # file: . # owner: someuser # group: webs # flags: -s- user::rwx group::rwx other::rwx default:user::rwx default:group::rwx default:other::rwx  someuser@someuser-MS-7816:/opt/lampp/htdocs/project$ touch file someuser@someuser-MS-7816:/opt/lampp/htdocs/project$ mkdir dir someuser@someuser-MS-7816:/opt/lampp/htdocs/project$ ls -l total 4 drwxrwsrwx+ 2 someuser webs 4096 paź 31 13:35 dir -rw-rw-rw-  1 someuser webs    0 paź 31 13:35 file   I thought it has something to do with umask but changing it in various ways never gives the expected result unless I'm missing something.  How can this be fixed? I am new to linux, but had a question. I am getting in the business of buying old computers, putting Linux on them, then donating them to students who don't have their own computer at home. I have gone through and installed Xubuntu on my system, installed/uninstalled all the software that I want/need, and now want to know if there is a way that I could make an ISO of my system, and put it onto ANOTHER computer, and still have all of my tweaks, and programs ready to go after the ISO has installed. That way I don't need to go through and spend an hour or two on every computer.   What programs would you recommend for creating an ISO like this?   Thanks, Tobin Limit of $2^{1/n}$ as $n\to\infty$ is 1 How do I prove that:   $\lim \limits_{n\to \infty}2^{1/n}=1$  Thank you very much. Why can't I catch Pokemon in Pokemon Go anymore? I'm level 10 on Pokemon Go. I've caught at least 150 Pokemon, and had no problems. Now, every time I try to catch a Pokemon, no matter the level, it just rolls twice in the pokeball, breaks free, then runs away. Can anyone provide some insight on how to fix this problem? What language is the Ubuntu Software Center written in? Just been wondering, since elementary AppCenter is written with Vala and Gtk+3.  Also, what GUI wrapper does it use? de morgan law $A\setminus (B \cap C) = (A\setminus B) \cup (A\setminus C) $ First part :  I want to prove the following De Morgan's law :  ref.(dfeuer)  $A\setminus (B \cap C) = (A\setminus B) \cup (A\setminus C) $    Second part:  Prove that $(A\setminus B) \cup (A\setminus C) = A\setminus (B \cap C) $    Proof:  Let $y\in (A\setminus B) \cup (A\setminus C)$     $(A\setminus B) \cup (A\setminus C) = (y \in A\;  \land y \not\in  B\;) \vee (y \in A\; \land y \not\in C\;)$      $\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;= y \in A\ \land (  y \not\in B\; \vee \; y \not\in C ) $      $\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;= y \in A \land  (\lnot ( y\in B) \lor \lnot( y\in C) )$   According to De-Morgan's theorem :  $\lnot( B \land C) \Longleftrightarrow (\lnot B \lor \lnot C)$ thus     $y \in A \land (\lnot ( y\in B) \lor \lnot( y\in C) ) = y \in A \land y \not\in (B \land C)$   We can conclude that  $(A\setminus B) \cup (A\setminus C) = A\setminus (B \cap C)$ Let $\alpha$ be a regular curve in $\mathbb{R}^2$ and let all of its tangent lines pass through the origin. Also, let $\beta$ be a regular curve in $\mathbb{R}^2$ and let all of its normal lines pass through the origin.   How can I show that $\alpha$ is contained in a straight line through the origin and that $\beta$ is contained in a circle around the origin?  I know that the tangent line $\alpha(t)$ is the line that points in the direction of the tangent vector $T(t)$ and that the normal line of $\beta(t)$ is the line that points in the direction of $N(t)$, but how can I put this all together to complete the proof? Paying off student loan or using that money for a downpayment on a house How to move /usr to a new partition? Change the display scaling on the fly I'm looking for a keyboard shortcut or a CLI instruction to change the display scale on the fly. Seems there's nothing in compiz-config manager to handle this? Calculating latitude and longitude of points using QGIS How do I easily calculate the lat/long of points using the QGIS Field Calculator? I saw a previous related question (), but it deals with a more advanced approach. In ArcGIS Desktop this is similar to the Calculate Geometry function; I just can't find where do this in QGIS. I am an Indian citizen residing in the United States. My wife and I are planning to travel to the UK for a week. We plan to apply for the UK standard visitor visa from the US. I was filling out the application and I have a few questions.   Travel History - The application asks for travel history to the United States, Canada, Australia and New Zealand. Considering that we're resident aliens in the United States, should we consider all the times we've traveled back to the US from India? Travel History - Should we also list out the times we've traveled to India from the US? Cost of the trip - Hypothetically if we plan to spend a total of ~4,000 USD on this trip, should I split up the cost and write down 2,000 USD on my application and 2,000 USD on my wife's application? Income - From what I've read on the forum, my wife must say that "someone else" i.e. me - is paying for her costs and mention my GWF number in the remarks on her application. Would that be sufficient considering that I'll be sending all income documents with my application? Savings - We have joint savings accounts. Should I mention the same amount on both our applications? Posting the documents - Is the up-to-date advice to send all documents in one packet? Or would sending them in separate packets at the same time be better? My thought was to annotate my wife's packet with my GWF number if we were to send them separately. Bank statements - We get e-statements. Would printing those out be enough? What is the proper use of [square brackets] in quotes? What is the Physical Meaning of Commutation of Two Operators? I understand the mathematics of commutation relations and anti-commutation relations, but what does it physically mean for an observable (self-adjoint operator) to commute with another observable (self-adjoint operator) in quantum mechanics?   E.g. an operator $A$ with the Hamiltonian $H$? How to secure my laptop so that hacking by physical access is not possible? Where to get the full offline-capable installer for macOS Mojave (.1 update)?