How to set up auto indenting for OCaml code in Vim? The built-in indenting in Vim for OCaml seems not very good.
Please check the post at https://www.systutorials.com/5212/auto-indenting-for-ocaml-code-in-vim-with-ocp-indent/
Similar Posts
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…
Git branching tutorial
ByEric Ma
Good tutorials on git branching. The “Git Branching” chapter of Pro Git book is the best one that I ever seen: http://git-scm.com/book/en/Git-Branching It deserve the time to study the whole chapter. If you are working with a git server, this chapter is especially useful: http://git-scm.com/book/en/Git-Branching-Remote-Branches Read more: Cheatsheet: Git Branching with a Git Server How…
How to repair a MySQL table?
ByQ A
After a server crash and restarting, MyBB reports a SQL Error as follows: MyBB SQL Error MyBB has experienced an internal SQL error and cannot continue. SQL Error: 145 – Table ‘./mybb/mybb_sessions’ is marked as crashed and should be repaired Query: SELECT * FROM mybb_sessions WHERE sid=’40021925bd0494ea31…’ AND ip=’x.x.x.x’ LIMIT 1 The dababase is MySQL….
How to sort all files recursively by modification time in a directory on Linux?
ByQ A
How to sort all the files in a directory and subdirectories recursively by modification time on Linux? You can make use of find (GNU find, or plus stat), sort and sed together to achieve recursively sort files by modification time: find . -type f -printf ‘%T@ %pn’ | sort -k 1 -n | sed ‘s/^[^…
How to flush a cached redirect by Chrome?
ByEric Ma
Chrome caches redirects. How to flush a cached redirect by Chrome? Clearing the cache/cookies for the specific domain (sorry, it is the domain level in this solution) as in https://www.systutorials.com/qa/453/how-to-remove-cookies-for-a-certain-site-in-chrome will also flush the redirect caches for this domain. Read more: How to Redirect Old Domain to New Domain Using htaccess Redirect How to Flush…
How to restart Gnome 3 without closing the programs running?
ByQ A
What I want is to just restart Gnome 3 only and not to close and reopen the programs running. Thanks a lot! Just run r in Gnome 3’s “Run command” Box: Alt + F2, then enter r and hit Enter. Gnome 3 will restarts itself only. Read more: Prevent Chrome closing after closing the last…