Summary
- merged
- merged
- more thorough cleanup;
- tuned;
- removed useless operation -- would require bash_process wrapper;
- tuned signature;
- simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
- more robust;
- sftp.mkdirs according to 2a5dbad75355;
- more compression for big log files;
- clarified setup_repository: more uniform pull vs. clone, without update;
- proper setup of fresh repository;
The file was modified | src/Pure/Admin/build_history.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/remote_dmg.scala (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | src/Pure/Admin/build_history.scala (diff) |
The file was modified | src/Pure/Admin/remote_dmg.scala (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | src/Pure/Admin/build_history.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |