How to Statically Link OCaml Programs

Posted on

Static linking is preferred for some cases although it has its own various problems. Static building/linking is not always possible for some languages on some platform. For OCaml, the answer to this question is yes. In this post, we will introduce 2 methods to statically linking OCaml: static linking with runtime glibc required and static
Read more

How to add Chinese input method to Unbuntu 18.04?

Posted on

How to add Chinese input method, such as Pinyin, to Unbuntu 18.04? To input Chinese, first install an input method framework. Here, we use fcitx. Then you need to input the Pinyin input method. You may use fcitx-sunpinyin. Put them all together $ sudo apt-get install fcitx fcitx-sunpinyin After that, set the default input method
Read more

How to get a server’s serial number remotely?

Posted on

How to get a server’s serial number remotely? Tested on Linux Ubuntu 14.04 Trusty > sudo apt-get install dmidecode > sudo dmidecode -s system-serial-number I tried this on several Linux boxes with CentOS 7 and it seems A physical node returns a string like System Serial Number. A KVM VM returns a string like 3fd12bba-12d4-48c7-875a-7a5f57ed8a9a.
Read more

Libvirt crash when upgrade from version 1.2.2 to version 2.5.0

Posted on

If you install libvirt from ubuntu software library like this sudo apt-get install libvirt-bin The default version is 1.2.2 for Ubuntu Trusty. However, after you upgrade it to version 2.5.0 from its source codes (restart the libvirtd service), you will see following error if you want to install vm with virt-install. # ./installkvm1.sh Starting install…
Read more

Cannot start VM with error “no network with matching name ‘default'”

Posted on

I update libvirt version and want to start VM with the new libvirt tools but I failed as follows. > sudo virsh start kvm1 error: Failed to start domain kvm1 error: Network not found: no network with matching name ‘default’ It seems that the default ‘virbr0’ is missing after I update libvirt so I solve
Read more

How to install PARSEC correctly.

Posted on

PARSEC is the most important CPU-bound benchmark for systems. It is huge and hard to install because it needs lots of 3-part libs. PARSEC download link for 3.0 version: http://parsec.cs.princeton.edu/download.htm#parsec I remembered I added the answer yesterday night but I could not see the answer currently. Anyway, let me add the answer again after I
Read more

how to install older version gcc/g++ in Ubuntu (other linux distro are similar)

Posted on

When we compile some project, it needs older version gcc/g++ version. So how to insall older ones in ubuntu 16? Install older gcc/g++ version sudo apt-get install gcc-4.4 g++-4.4 g++-4.4-multilib gcc-4.4-multilib Set gcc/g++ version to be used automatically sudo update-alternatives –install /usr/bin/gcc gcc /usr/bin/gcc-4.4 50 sudo update-alternatives –install /usr/bin/g++ gcc /usr/bin/g++-4.4 50 You may need
Read more

I cannot login Ubuntu Precise desktop

Posted on

I cannot login desktop in Ubuntu Precise. It told me following errors: Could not write bytes: Broken Pipe… Check Battery Satte Actually, I tried many ways to solve this problem. It seems that something wrong with my lightdm software so, at last, I use gdm software to replace lightdm to kill this problem. Just install
Read more

How to find all available versions of a package in dpkg, apt-get or aptitude?

Posted on

How to find all available versions of a package in dpkg, apt-get or aptitude? To list available versions of a package: apt-cache showpkg <package-name> For example, to check all versions of thunderbird: $ sudo apt-cache showpkg thunderbird Package: thunderbird Versions: 1:31.1.1+build1-0ubuntu0.14.04.1 (/var/lib/apt/lists/archive.ubuntu.com_ubuntu_dists_trusty-updates_main_binary-amd64_Packages) (/var/lib/apt/lists/security.ubuntu.com_ubuntu_dists_trusty-security_main_binary-amd64_Packages) Description Language: File: /var/lib/apt/lists/archive.ubuntu.com_ubuntu_dists_trusty_main_binary-amd64_Packages MD5: 68ed1001b79d708ad48956a0c129114d Description Language: en File: /var/lib/apt/lists/archive.ubuntu.com_ubuntu_dists_trusty_main_i18n_Translation-en MD5:
Read more

How to find the history of updated packages by apt-get or aptitude?

Posted on

How to find the history of updated packages by apt-get or aptitude? The history is in log files of dpkg and apt: /var/log/dpkg.log /var/log/apt/history.log /var/log/aptitude To check the recently installed packages: cat /var/log/dpkg.log | grep ” install ” To list history of recently installed packages by apt-get: cat /var/log/apt/history.log | grep ” install ” To
Read more

How to install ffmpeg on Linux Mint 17 Qiana?

Posted on

How to install ffmpeg on Linux Mint 17 Qiana? To install FFmpeg on Ubuntu 14.04 Trusty Tahr, Linux Mint 17 Qiana and etc: $ sudo add-apt-repository ppa:jon-severinsson/ffmpeg $ sudo apt-get update $ sudo apt-get install ffmpeg Does anyone know why this was taken out of the main repositories? Linux Mint 17 is based on Ubuntu
Read more

How to install no-ip update client on Linux Mint?

Posted on

How to install no-ip.com update client noip2 on Linux Mint 17? First, install the noip2 client: sudo su – cd /usr/local/src wget http://www.no-ip.com/client/linux/noip-duc-linux.tar.gz tar xzf noip-duc-linux.tar.gz cd no-ip-2.1.9-1 make make install Then, generate the configuration file noip2 -C Last, make noip2 daemon run at reboot crontab -e Add this line to crontab: @reboot /usr/local/bin/noip2 I’ve
Read more

How to Configure the Latest Version of Flash on Firefox for Linux: by the Fresh Player Plugin

Posted on

As you may know, Adobe stopped supporting the NPAPI version of Flash on Linux and the latest NPAPI version of Flash player at version 11.2 released back in 2012 will only receive security fixes. Even the security fixes to the 11.2 version of the Flash Plugin your Firefox is using will end on May 4,
Read more