Personal notes of linux shell commands