Monthly Archives: September 2015

Shell, wc : getting progress in real time

On Unix/Linux, “wc” is a very useful tool to count the number of lines in a file or a stream. However, sometimes, the file or stream is so big that it takes minutes or longer to get the final result. … Continue reading

Posted in Uncategorized | 2 Comments

Android / CyanogenMod : moving contacts between accounts

Contacts in Android are stored in one or more address books. One of them it the “Local” address book. I needed to move my local contacts to a remote account, using CyanogenMod 12. I found out it’s not obvious, and … Continue reading

Posted in Android | Leave a comment

Shell scripting: triming text from start to end markers with sed or awk

Let’s assume you have a huge log file looking like this: Let’s assume you are interested only in the part between 2015-09-07 12:10 and 2015-09-07 12:15. Here is a sed script that will do the job: Here is also an … Continue reading

Posted in Linux | Leave a comment