some tips about Linux or related tools(mostly, but some platform-independent ones may also be included)