some useful linux commandlines