As of 2016-02-26, there will be no more posts for this blog. s/blog/pba/

Today, I was digging in GitHub search results, and I noticed that “aedit” and “zedit” showed up side-by-side, what a coincident and a great chance to make a list of A-to-Z editors in regular expression of /[a-z]edit/.

1   Matrix

A           G            

2   List

name year language license author extra


C GPL Alberto Garcia Serrano  


C GPLv2 gedit team  


C GPLv2 Sean MacLennan  

This is a note page for Git usage that I most likely can’t remember how to issue the commands for the tasks.

1   Manipulating commit history

1.1   Inserting a commit

This shows how to insert one in the past:

% git checkout -b new-commit after-this-commit-in-master-branch
% # doing stuff for the new commit
% git commit
% git rebase new-commit master

1.2   hg revert

% git reset --hard

In January, 2013, I started to record the lines of my ToDo files which are taken in vim-notes. One year later, I used Python and matplotlib to draw a graph.

Now, they are 3 years old and they look like:

Plotted using gnuplot

It’s quite interesting to take a look at it and I can see some moments from this figure. Here is some remarks:

  1. For both in the first year, there were much more changes than the last two. The reason for that is I constantly :w the notes when every I made a changes to them.
  2. As the end of the first year, you can spot a fairly long flat line in ToDo Bin, that’s when I only moved stuff from ToDo to ToDo Bin once a month, and you can clearly see the trend last for a year until the end of second year.
  3. During the first half of second year, I still constantly saved the ToDo, but since the September of the year, I reduced the saves. Normally, only when I had to leave X Window or reboot, then I would save.
  4. The last year, there is a significant drops in Bin, twice, one at the end of second year, another at around middle of February. They were clean-ups, big ones, as you could see the lines of ToDo Bin almost reached 4,000 lines in the end of second year. I had to do something, or the Bin would be like a dump, although it was meant for that.

There is one more thing I wanted to note, though unrelated to the lines, that is gnuplot is much easier to plot this type of graph, and the quality is great almost just out-of-the-box. I actually had updated the Python script for this and generated one before I got a chance to installed gnuplot of making a video, and I tried it out on the lines.

This morning, I noticed the system temperature was oddly low, only just above 40°C. I didn’t mind at first, but then I felt it seemed to run slower than before, which might just from confusion after I checked the frequencies from /proc/cpuinfo.

I had not looked at file for years, and I saw the frequency was fixed at 1833MHz and 1000MHz, two cores, respectively. So, I tried the ultimate fix, turning it off and on again, didn’t work. I began to wonder if anything got updated recently, not the kernel nor any system/hardware stuff that I could remember.

At this point, I laughed before I knew there must be a setting wrong and for years, I had not realized that. So I went back to the power management in kernel configuration and found that I might have been using the wrong governor since 2012-08-27 as kernel 3.4 recommended ondemand governor according to ArchWiki.

That was 3.5 years ago.