Where is the .mli files for Core
Where is the .mli files for Core installed by opam.
It is under
~/.opam/4.00.1/lib/core
where 4.00.1 is the version of OCaml used.
For example, date.mli is under ~/.opam/4.00.1/lib/core/date.mli.
Similar Posts
For QEMU/KVM, how to share data between host and guest
General question for developers to access data between VM and VMM. As I know, paravirtualization solution is a good way to share data for VM and VMM since it has better performance. Please use Virtio 9p solution for QEMU/KVM. Note that you need to load 9p related modules for guest kernel. Add following in your…
gthumb hangs at startup on Fedora
ByEric Magthumb hangs at startup on Fedora when I plugged my iPhone on the USB. How to solve this? You need to unmount the iPhone: Open nautilus. Press F9 (may need twice) to open the side panel if it is not opened yet. Find your iPhone on the side panel and unmount it by click the…
How to enable Email address auto completion in Evolution?
ByEric MaDoes Evolution support automatic email address filling/completing in the “To” or “CC” fields which is commonly seen in other Email clients such as Thunderbird. Is is possible and how to enable Email address auto completion in Evolution? Evolution supports the contact autocompletion. To enable it, do as follows in Evolution. In Evolution Preferences dialog, in…
How to install curlftpfs on CentOS 7?
ByEric Macurtlftpfs is a nice tool to mount ftp to local. How to install curlftpfs on CentOS 7? The software package for curlftpfs is proved in EPEL. To install curlftpfs, first, enable EPEL following instructions here. Then, install curlftpfs by # yum install curlftpfs Read more: How to install sshfs on CentOS 7? How to install…
How to set an environment variable in bash?
ByQ AHow to set an environment variable in bash? The syntax in bash for setting an environment variable is as follows. export VARIABLE=value Note that there is no space among the variable, the equals sign (“=”) and the value. If the value has spaces, the value should be put in quotes. To check it: echo $VARIABLE…
How to sort lines by length in Linux?
ByEric MaI have a text file with many lines of text. In Linux, how to sort the lines by their length? You can make use of awk together with the sort program like awk ‘{ print length(), $0 | “sort -n” }’ /path/to/text/file Here, we use awk to calculate the text length and sort -n to…