How can I get my LaTeX set up on Emacs/AUCTeX to use the -file-line-error option when calling pdfTeX
Uninformative error message when using AUCTeX
Error: Can't open display: 0 I installed WSL2 and I want to access WSL2 GUI apps from Windows 10. For this, I installed Xming and start it in "No client" mode. Xming startes, ok. After I open the WSL2 terminal and there execute these commands  export DISPLAY=:0   And after  xeyes   And get error   Error: Can't open display: :0   X11Forwarding checked, yes. How can I convert JPG into PDF easily? Replacing all values in a table > $T$ prove that if $E$ is connected and $E \subseteq F \subseteq \overline{E}$, then $F$ is connected. Define a set $A$ to be disconnected iff there exist nonempty relatively open sets $U$ and $W$ in $A$ with $U\cap W = \emptyset$ and $A = U\cup W.$ Define a set $A$ to be connected iff it is not disconnected.(there are many equivalent definitions, but I want to prove this lemma using this one). Prove that if $E$ is connected and $E\subseteq F \subseteq \overline{E},$ then $F$ is connected.  Let $U, W$ be a separation for $F$. Find open sets $O_U$ and $O_W$ so that $U = F \cap O_U$ and $W = F\cap O_W.$ I claim that $E\cap O_U, E\cap O_W$ separate $E$. However, I'm unable to show that $U' = E\cap O_U, W' =E\cap O_W \neq \emptyset$ (I think this should be straightforward, but for some reason, I can't figure this out). Suppose $U' = \emptyset.$ Then $E\cap O_U = \emptyset.$ Since $E \subseteq F = U\cup W = F\cap (O_U \cup O_W)\subseteq O_U\cup O_W,$ we have that $E \subseteq O_W,$ so $E\cap O_W = E\subseteq F\cap O_W = W\subseteq F\subseteq \overline{E}.$ Observe that since $E\cap O_U = \emptyset, F\cap O_U = (F\backslash E)\cap O_U\subseteq F\backslash E.$ Similarly, $W'\neq \emptyset.$ Clearly, $U', W'$ are relatively open in $E$. Suppose $U'\cap W' \neq \emptyset.$ Let $x\in U'\cap W'.$ Then $x\in E\cap O_U\cap O_W \subseteq F\cap O_U\cap O_W = U\cap W = \emptyset,$ a contradiction. So $U'\cap W' = \emptyset.$ Also, $U'\cup W' = (E\cap O_U)\cup (E\cap O_W) = E\cap (O_U \cup O_W)$ and $E\subseteq (O_U \cup O_W),$ so $U'\cup W' = E.$ Distance learning: taken seriously? I'm currently in the first year of a six year bachelor's degree aiming for astrophysics. The course is a home/distance learning setup run by the Open University. While I am enjoying it thoroughly, I am aware of the academic politics that can dog professional science. So my question is thus: Upon soldiering on with the degree, then masters, and then PhD, will I be taken seriously within a professional setting given my inability to reference a leading university for my education? Will the format for my studying be "pitied"?   Edit: I suppose a bit more info may help. I'm 27,wife, 2 children, and I currently work as a full time chef, and self employed part time IT technician. I flunked my GCSEs, with no further education. The past 3 years have been a revelation for me, and I have discovered a before unexperienced love for academia; specifically, physics and astronomy. Last year I completed a 1 year OU maths brush up course, which at the time I really struggled with. This year I had a bout of madness and took the plunge for a BSc degree in astronomy. I am now loving the math within the physics so far (yet to hit calculus though!)  PhD, and even masters, is a long way off.  Also, since this original post I've improved my understanding of what a PhD actually entails. So I realise that if I get there, it may well not have anything to do with the OU!     It occurs to me that a lot of my initial queries could have been avoided with a better understanding of the educational and qualification system itself. I now have a greater appreciation as to what a PhD actually is, realising that its a long way off and not necessarily needed for a fulfilling career in research.  I think trying to repair my broken education and fight my way into a worthwhile (and productive!) career is enough of challenge at the moment. There will be plenty of time later for worries concerning doctorates.  It is good to hear that there is at least an open mind towards distance educated professionals.   As has been said, if you've got it, you've got it - you just have to be ready to prove it. Why would a company care about the price of its own shares in the stock market? Debian users have a kind of "wayback machine":  , which is really great.  There are regressions sometimes, and if I don't have local deb package with old version, I'm getting sad sometimes. Having a wayback machine like this is very helpful.  I can't find analogue of it for Ubuntu. Have I missed it? I don't know so much about coordinate systems...  In my office we use to deal with spatial data coming from archaeological sites. Each site has its own x-y-z coordinate system (GCS). Three simple ortogonal cartesian axis. In the last years we have been managing this spatial data through GIS software (ArcGIS), without using specific coordinate system (just leave it as "undefined")  I'd like to know if there exisits any GCS designed to deal with such datasets using simple cartesian orthogonal axis, without grid distortions of the typical GCS. In addition, I'd like to know if this system is suitable for using it in an online mapping application.  By the way, we manage 2D (ArcMap) and 3D (ArcScene) environments and work with "mm" as length base unit.   If such a thing doesn't exists, maybe someone knows how to create it. Singular or plural "set"? How to use a proxy on the command line? I can set my proxy username and password along with proxy settings in the proxy ui but these settings do not work on the command line. How can I use apps such as wget &amp; ping on the command line with a proxy?  Example Details:   username: 1234 pass: linux proxy: proxy port: 8080 How can I remove snaps without losing GUI? I want to know how to check how many snaps programs/apps I'm running. Also, how to replace them (if possible) without losing GUI? Is there an easy way to convert a number to a word in PHP? In PHP, is there an easy way to convert a number to a word? For instance, 27 to twenty-seven. Solve $f(x)f(2x^2) = f(2x^3+x)$ My system was configured to dual boot Ubuntu 12.04.1 LTS and Windows 7. Today I got my hands on the MSDN release of Windows 8 and I installed it over my Windows 7. Now the computer just boots to Windows 8 directly without loading the GRUB screen.  So I followed the steps as suggested in: . Running this command:      ls -l /dev/disk/by-label/   gives the following output:      total 0     lrwxrwxrwx 1 root root 10 Sep 11 07:51 Entertainment -&gt; ../../sda2     lrwxrwxrwx 1 root root 10 Sep 11 02:45 PENDRIVE -&gt; ../../sdb1   Also fdisk -l command gives this as the output:      Disk /dev/sda: 320.1 GB, 320072933376 bytes     255 heads, 63 sectors/track, 38913 cylinders, total 625142448 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     Disk identifier: 0x1246aa23         Device Boot      Start         End      Blocks   Id  System     /dev/sda1   *        2048   319582199   159790076    7  HPFS/NTFS/exFAT     /dev/sda2       319582208   602906623   141662208    7  HPFS/NTFS/exFAT     /dev/sda3       602908672   625135615    11113472   83  Linux      Disk /dev/sdb: 1939 MB, 1939865600 bytes     64 heads, 63 sectors/track, 939 cylinders, total 3788800 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     Disk identifier: 0xc3072e18         Device Boot      Start         End      Blocks   Id  System     /dev/sdb1   *        2248     3788799     1893276    c  W95 FAT32 (LBA)   So I assume that I have to run this: sudo grub-install /dev/sda3 to get GRUB up and running. But I am getting this error:      /usr/sbin/grub-probe: error: cannot find a device for /boot/grub (is /dev mounted?).   Can anyone please guide me in the right direction? The current Ubuntu installation is far too customized to my needs to lose it to a boot manager issue! Any help is much appreciated! My installer build "signs" a DLL using a Code Signing certificate during the build process.   I've noticed that if I try to build twice in succession, the second build fails because the DLL is already signed so signcode chokes. Obviously I can fix this by signing a copy of the DLL in the build, but the problem intrigued me:   Is it possible to "unsign" a DLL, and if not, why not...? Proof that every number ≥ $8$ can be represented by a sum of fives and threes. Can you check if my proof is right?  Theorem.  $\forall x\geq8, x$ can be represented by $5a + 3b$ where  $a,b \in \mathbb{N}$.  Base case(s): $x=8 = 3\cdot1 + 5\cdot1 \quad \checkmark\\ x=9 = 3\cdot3 + 5\cdot0 \quad \checkmark\\ x=10 = 3\cdot0 + 5\cdot2 \quad \checkmark$  Inductive step:  $n \in \mathbb{N}\\a_1 = 8, a_n = a_1 + (x-1)\cdot3\\ b_1 = 9, b_n = b_1 + (x-1)\cdot3 = a_1 +1 + (x-1) \cdot 3\\ c_1 = 10, c_n = c_1 + (x-1)\cdot3 = b_1 + 1 + (x-1) \cdot 3 = a_1 + 2 + (x-1) \cdot 3\\ \\ S = \{x\in\mathbb{N}: x \in a_{x} \lor x \in b_{x} \lor x \in c_{x}\}$  Basis stays true, because $8,9,10 \in S$  Lets assume that $x \in S$. That means $x \in a_{n} \lor x \in b_{n} \lor x \in c_{n}$.  If $x \in a_n$ then $x+1 \in b_x$,  If $x \in b_x$ then $x+1 \in c_x$,  If $x \in c_x$ then $x+1 \in a_x$.  I can't prove that but it's obvious. What do you think about this? Icons of Meta.SE and Stack Apps have gone missing Import/export 3ds format in Blender 2.8 I need to import and specially export in 3DS format. I know that I can import a file in 2.79 and the copy-paste to 2.8, but then when I copy-paste it back to 2.79 I'm having problems with textures missing. Is there any way to import/export 3ds in 2.8 without using any other version or software like we did in 2.79? The extension is missing in the add-ons repository either. How do I check where devices are mounted? What is the command that lets me see what and where devices are mounted?  I'm having trouble changing songs on my old iPod, and I have a feeling it's because of the mount point. The diagonalizable matrices are not dense in the square real matrices