Similar Posts
Release Notes For Linux v0.97
ByTonyThis is the release notes for linux release v0.97 with format adjusted by removing/replacing tabs/spaces/new lines. This notes document can give us an understanding of the early development of the Linux kernel. The original ASCII formatted version is at the end of this post. Changes in 0.97: The VESA-support was removed. I’d be happy to…
I/O Microscopy: Tasks’ Disk I/O Information with High Accuracy
Abstract Most popular task monitor systems (such as top, iotop, proc, etc) can only get tasks’ disk I/O information like tasks’ I/O utilization percentage every seconds due to kernel timer/tick frequency and high time cost of system interfaces. This article presents I/O Microscopy, a new way to get tasks’ disk I/O information with high accuracy….
How to convert all text from upper case to lower case on Linux?
ByEric MaHow to convert all text in a file from upper case to lower case and vice versa on Linux? Convert from upper case to lower case: tr ‘[:upper:]’ ‘[:lower:]’ < input.txt > output.txt Convert from lower case to upper case: tr ‘[:lower:]’ ‘[:upper:]’ < input.txt > output.txt Read more: How to convert a string to…
How to force ibus to restart in Gnome 3?
ByEric MaHow to force ibus to restart in Gnome 3? There used to be a menu. But it does not provide the restart option anymore. To kill current ibus daemon: pkill -o ibus-daemon To start a new ibus daemon in Gnome 3, run this command in “Enter a command” tool by Alt+F2: /usr/bin/ibus-daemon –replace –xim –panel…
How to get the directory path and file name from a absolute path in Bash on Linux?
ByEric MaHow to get the directory path and file name from a absolute path in Bash on Linux? For example, with “/foo/bar/baz.txt”, it will produce: “/foo/bar/” and “baz.txt”. You also have the basename and dirname commands besides of the basename and dirname C API in Linux: [zma@laptop:~]$ p=”/foo/bar/baz.txt” [zma@laptop:~]$ dirname $p /foo/bar [zma@laptop:~]$ basename $p baz.txt…
How to reset the Disqus WordPress plugin installation
ByQ AHow to reset the Disqus WordPress plugin installation? After deactivating/activating the Disqus WordPress plugin, the ID and others are the same as the old ones. What I need is to change the Disqus forum ID for a WordPress installation. Find all the tuples in the _option table of WordPress that contains “disqus” and delete them….