Useful and tips of some shell commands I use