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
Is Samba sync or async for writes?
ByEric Ma
Being sync or async for data writing of a file system or a network file system affects the data integrity. Is Samba sync or async for writes? In summary, Samba writes are async by default. But the behavior is configurable. Here is a great summary by Eric Roseme. Samba defaults to asynchronous writes. smbd writes…
How to make Thunderbird check for new messages in all IMAP folders?
ByEric Ma
How to make Thunderbird check for new messages in all IMAP folders? Under “Edit/Tools > Options > Advanced”, click the “Config Editor” button. In the config editor, set the mail.check_all_imap_folders_for_new configuration to “true“. Read more: Import Evolution mail directory to Thunderbird/imap account How to apply the Email sort order to all folders in Evolution? How…
Programming | QA | Tutorial
Checking Whether a String Starts with Another String in C++
ByEric Ma
In many text processing tasks, we often need to check if a given string starts with a specific substring. In this article, we will demonstrate how to achieve this using the std::string::compare() function from the C++ Standard Library. The compare() function has several overloads, but the one of interest for our purpose is: int compare(size_type…
How to handle spaces in paths with rsync on Linux?
ByEric Ma
The common rsync commands seems not handle spaces well. For example, rsync -avxP file “user@server:/data/my dir” It reports: rsync: link_stat “/home/zma/file” failed: No such file or directory (2) How to make rsync handle spaces well? You can use the –protect-args option of rsync. $ rsync –protect-args -avxP file “user@server:/data/my dir” What does –protect-args do: -s,…
How to convert HTML file to text on Linux
ByQ A
How to convert HTML file to a text on Linux? You can use html2text (can be installed on Fedora by yum install html2text): $ html2text ${html_file} ${html_file} is the html file to be converted. The converted text will be printed to the STDOUT. You can redirect it to a file if it is needed. Adding…
Good tools to manage OCaml packages
ByQ A
Which tools to mange OCaml packages in my system (Linux)? I use OPAM to manage OCaml packages: http://opam.ocamlpro.com/index.html To install it: $ wget https://raw.githubusercontent.com/ocaml/opam/master/shell/opam_installer.sh $ sh ./opam_installer.sh /usr/local/bin More options are available here. To make opam settings take effect, append this to ~/.bashrc: eval `opam config env` Some frequent usages: opam list # List all…