Summary
- clarified signature;
- clarified signature: more explicit types;
- support "rsync --chmod --chown" via Rsync.Context;
- tuned;
- bash: proper bash_process via SSH; getenv: prefer light-weight ssh.execute;
- clarified signature: support explicit cwd;
- support bash via SSH;
- clarified comments;
- proper support for remote cwd;
- clarified context for (remote) bash scripts: export variables are optional, support cwd;
- more operations for SSH.System: bash_process and bash;
- unused;
- clarified signature: prefer symbolic isabelle.Path over physical java.io.File;