#2196 (Jun 2, 2024, 12:50:40 AM)

1. clarified signature; (detail / hgweb)
2. clarified signature: more explicit types; (detail / hgweb)
3. support "rsync --chmod --chown" via Rsync.Context; (detail / hgweb)
4. tuned; (detail / hgweb)
5. bash: proper bash_process via SSH;
   getenv: prefer light-weight ssh.execute; (detail / hgweb)
6. clarified signature: support explicit cwd; (detail / hgweb)
7. support bash via SSH; (detail / hgweb)
8. clarified comments; (detail / hgweb)
9. proper support for remote cwd; (detail / hgweb)
10. clarified context for (remote) bash scripts: export variables are optional, support cwd; (detail / hgweb)
11. more operations for SSH.System: bash_process and bash; (detail / hgweb)
12. unused; (detail / hgweb)
13. clarified signature: prefer symbolic isabelle.Path over physical java.io.File; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.9 sec waiting;
• 2 hr 2 min build duration;
• 2 hr 2 min total from scheduled to completion.