@gedit/filesystem

Theia - File Download

Provides the file download contribution to the Files navigator.

Supports single and multi file downloads.

• A single file will be downloaded as is.
• Folders will be downloaded az tar archives.
• When downloading multiple files, the name of the closest common parent directory will be used for the archive.
• When downloading multiple files from multiple disks (for instance: C:\ and D:\ on Windows), then we apply rule 3. per disks and we tar the tars.

REST API

• To download a single file or folder use the following endpoint: GET /files/?uri=/encoded/file/uri/to/the/resource.

  • Example: curl -X GET http://localhost:3000/files/?uri=file:///Users/akos.kitta/git/theia/package.json.

• To download multiple files (from the same folder) use the PUT /files/ endpoint with the application/json content type header and the following body format:

  {
      "uri": [
          "/encoded/file/uri/to/the/resource",
          "/another/encoded/file/uri/to/the/resource"
      ]
  }
  

  curl -X PUT -H "Content-Type: application/json" -d '{ "uris": ["file:///Users/akos.kitta/git/theia/package.json", "file:///Users/akos.kitta/git/theia/README.md"] }' http://localhost:3000/files/
  

License

• Eclipse Public License 2.0
• 一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception