Archives by date

You are browsing the site archives by date.

Convert man page to PDF

It’s fairly easy: $ man -t bash | ps2pdf – bash.pdf “man -t” uses groff -mandoc to format the manual page to stdout. “ps2pdf – bash.pdf” means the input is from stdin and output to bash.pdf. We use a simple pipe to join the stdout of “man” and stdin of “ps2pdf”. That’s it!

Work around of file name problem while unzip handling CJK encodings

Unzip 5.x has an option -O to specific the encoding of file names in an ZIP archive, but when 6.0 is arriving with unicode support, that option disappeared as well. CJK users need special cares on support and conversion of obsolete encoding while they are switching to utf-8. Here is my workaround about this problem, […]

My way of choosing email programs

This is just another article about how to get your emails managed in a graceful way. Here is my former way of dealing with them: I choose Gmail as my primary email service provider, and use the online Gmail web page for managing most of the emails – view and move to trash. As for […]

This work by Aron Xu is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported.