Re: how do I move a whole directory?

[Thomas Glanzmann]

Hello,

> That is, how do I move a directory from one place to another?

same like on shell

        mv <source> <dest>

        Thomas