Similar Posts
Add More Loop Device in Linux
We need more loop devices on Linux than the default number (most commonly 8) some time, such as we are building 12 or more virtual machines on top of xen using loop device backed VBD. In this post, we want to use 32 loops. 1. If loop device is compiled directly in the kernel Pass…
How to view a file at a specific commit in git?
How to view a file at a specific commit/revision in git? You can use git show to view a file’s content at a specific commit in git: https://www.systutorials.com/docs/linux/man/1-git-show/ $ git show REVISION:/path/to/file You can also save a copy by $ git show REVISION:/path/to/file >file.copy Read more: How to produce a patch file for a specific…
How to find broken soft links in a directory?
How to find broken symbolic links in a directory which have many symbolic links? Use this command to find broken soft links: find -xtype l /path/to/dir/to/find/in/ You can also specify the action by -exec. For example, delete the soft links that are broken in the current directory: find -xtype l -exec rm -f {} ;…
Syntactical difference among OCaml, Scala, F# and Haskell
What’s the syntactical difference among OCaml, Scala, F# and Haskell. This page gives a side-by-side reference among OCaml, F#, Scala and Haskell: ML Dialects and Friends: OCaml, F#, Scala, Haskell Read more: How to install Scala from the official Scala distribution How to make Alt-Tab switch among windows instead of applications in Gnome 3? What’s…
How to get the value of a default value if the key does not exist in `dict()` in Python?
How to get the value of a default value if the key does not exist in dict() in Python? We can use the get() function to assign default value if the key does not exist in the dict yet. dict.get(key[, default]) Example as follows. msges = {“msg”: “Hello, World!”} msg = msges.get(“msg”, “”) print(msg) #…
How to delete or get the number in the tail from a string in shell script?
How to delete or get the number in the tail from a string in shell script (bash script)? Okay to call other tools. For example, from “/dev/sda8”, I want to get “/dev/sda” and “8” separately. This can be achieved by using sed as follows. To get the string after deleting the tailing numbers, we can…