File.copy_to should allow to upload/download files across 'remote' backends

[radeusgd]

We should give the user the ability to easily transfer files between the local drive, the Enso Cloud, and S3 (as well as other backends that may be added in the future).

To allow for this, we shall allow the File.copy_to method to take files from different backends, and also ensure that the copy_to method is also present on Enso_File and S3_File.

For example (File.new "foo.txt") . copy_to (S3_File.new "s3://foo/bar.txt") should allow to upload a file to S3, while (S3_File.new "s3://foo/bar.txt").copy_to (File.new "foo.txt") should allow to download it.

[radeusgd]

To be extensible for future 'file backends', we could introduce a type File_Like and define from conversions for all kinds of types (File, S3_File, Enso_File), so that the File.copy_to self (destination : File_Like) could still check that it got the valid argument. The File_Like 'interface' could also provide a generic interface for copying files across 'backends'.

It should be possible to also perform copying across 2 'remote' backends (even if it may actually download a temporary file under the hood), i.e. (S3_File.new "s3://foo/bar.txt").copy_to (Enso_File.root / "foo.txt"), or between different buckets of S3: (S3_File.new "s3://foo/bar.txt").copy_to (S3_File.new "s3://other_bucket/bar.txt") (which also may need to download the temporary file?).

[enso-bot]

Radosław Waśko reports a new STANDUP for yesterday (2024-02-12):

Progress: Added tests for copying across and within S3 backend, implemented move_to. It should be finished by 2024-02-14.

Next Day: Next day I will be working on the same task. Implement File->S3 direction. Improve the logic to avoid unnecessary temp files.

[enso-bot]

Radosław Waśko reports a new STANDUP for today (2024-02-13):

Progress: Fixed remaining tests for copying/moving, added some more. Cannot test Enso_File yet as writing is not enabled. At least added method stubs. It should be finished by 2024-02-14.

Next Day: Next day I will be working on the #9047 task. Fix impl after updating test for delete (it should fail if file did not exist). Work on updating Enso Cloud integration.

[enso-bot]

Radosław Waśko reports a new STANDUP for yesterday (2024-02-14):

Progress: Fixing S3 delete edge cases. Profiling S3 operations performance. It should be finished by 2024-02-14.

Next Day: Next day I will be working on the #9047 task. Updating Enso Cloud integration.