Still on the nursery slopes as far as bash commands I'm afraid but have, once again, realised how very useful they can be. How do you learn what to type in in any given situation, though? (I'm asking generally, not for any specific problem I have now.) Bev. (Ubuntu user.)