ssh is great. But sometimes I just need a desktop. The remote desktop functionality offered by Ubuntu is kind of limited. For example, I just don’t know how I can enable remote desktop easily in the first place if one is not in front of the host already. Moreover, Ubuntu’s remote desktop is limited to…
I did an extremely stupid thing today. It all started when I tried to fix some conflicting issue of OpenCV and ffmpeg. I installed and reinstalled many times. I tried this on my desktop and eventually tried it also on my laptop. For some reasons, I could not install some required package (libxcb1-dev). It showed…
I am terribly disappointed with Obama’s tariff. Especially I believe that he is an intelligent person. He definitely should understand the reaction from Beijing and is well aware of the impact of Smoot-Hawley Tariff Act to the Great Depression. He is basically risking all these for the political capital needed for his health reform. While…
It took me a while to finally manage to embed all fonts for pdf using Linux commands alone. Most conferences and journals require all fonts to be embedded for manuscript preparation. By default, pdflatex in Ubuntu suppose to embed all fonts. One can also change the setting using updmap. But the problem comes from the…