Explorer

The explorer is the main page of your project. From there you can navigate through your project's resources, access, create and manage them.

The resource top bar is composed of:

• The search bar which applies to the current directory and its subdirectories.
• A switch to toggle Favorites and show only starred resources.
• A switch to toggle between the List and Grid view.
• An indicator of the current storage usage.
• The + button to create a resource.

The resource table contains the properties for each resource. The columns can be hidden or shown by clicking the ⚙️ icon.

Add resources

In MINEO you can either create a new resource or add them from your computer.

tip

You can drag and drop files to import them on your file system explorer.

To create a resource on your current directory click the + button and select an option:

• New: Create a Folder, File (.py, .txt, etc...) or a MINEO resource like Notebooks, Workbenches, Links, Pipelines, Data sources and Worker Images.
• Import from GIT: Clone a GIT Repository.
• Upload files: Upload files from your computer directly.

Actions

You can perform several actions on any resource via the Actions column (or right-click context menu).

Common actions

Available for every resource type:

Action	Description
Rename	Rename the resource (must be unique within the current directory).
Move	Move it to another directory.
Clone	Duplicate it in the same directory.
Export	Download the resource with its original extension.
Delete	Delete the resource.
Properties	Open properties and permissions.
Upload logo	Set a custom logo (visible in grid view).

Resource-specific actions

Some resource types have additional actions:

Resource	Action	Description
Folder	Download as Zip	Download the entire folder as a .zip file.
Folder	Open with Dev Environment	Open the folder as the working directory in a running dev environment.
Notebook	Execute	Run the notebook.
Notebook	Open without resources	Open without applying the project's or notebook's resources.
File	Edit	Edit in the built-in editor (.py, .txt, etc.).
File	Open with Dev Environment	Open the file in a running dev environment for editing.
File (.html/.htm)	Open in Browser	Open the file in a new browser tab, rendering it as a web page.
Link	Edit	Change the URL or open-in-new-tab setting.
Git repository	Update	Pull latest code from the remote repository.