Files

Files are the containers that store code, configuration settings, documentation, and other resources necessary for developing and running software projects. They can include source code files, data files, configuration files, and more.

INFO

They are managed in the "Device" tree view and stored on the mutexer cloud. When deploying to a device they are packaged and copied to the device. The files are stored on the device in the root directory.

DANGER

The device storage capacity is not checked prior to deployment. Therefore, before deploying make sure there is enough space for the files on the device.

DANGER

All files relating to the deployment are removed when a new deployment takes place. This means any changes directly to these files on the device will not be saved.

Creating

It is possible to create a file by right-clicking on files in the "Device" tree-view and selecting "Create". The file can be given a name then clicking "Create" will add the file to the project.

INFO

At this stage only python files (ending in .py) can be created. The files are a created with the default python code.

WARNING

File names can be between 2 and 50 characters long. They can only be ASCII characters and must start with a letter.

WARNING

Forbidden files names are CON, PRN, AUX, NUL, COM0, COM1, COM2, COM3, COM4, COM5, COM6, COM7, COM8, COM9, COM¹, COM², COM³, LPT0, LPT1, LPT2, LPT3, LPT4, LPT5, LPT6, LPT7, LPT8, LPT9, LPT

Uploading

It is possible to upload a file by right-clicking on files in the "Device" tree-view and selecting "Upload". Uploading selection of the file can be done via drag and drop into the window or clicking "Upload" and using the file browser. The file will automatically be added to the "Device" tree-view.

INFO

There is no limitation on the file size however it make take a long time to upload large files. In cases where the file is larger than 10GB there can be errors.

Downloading

It is possible to download a file by right-clicking on the file to be downloaded in the "Device" tree-view and selecting "Download". The file will automatically start downloading.

Opening

Files can be opened by double-clicking on the file or by right-clicking on the file and selecting "Open File".

• Files will be opened in a new window.
• Files can be opened multiple times.
• Changes are not propagated automatically to all open files, refresh is needed.
• Only certain files can be opened. See list below.
• Only certain files supporting editing. See list below.

Supported File Types

All file types can be uploaded. However, there are restrictions on what file types can be viewed and edited in Launchpad.

File Type	View Only	View & Edit
.png	✅	❌
.jpg	✅	❌
.jpeg	✅	❌
.gif	✅	❌
.svg	✅	❌
.pdf	✅	❌
.py	✅	✅
.txt	✅	✅

Programmatically Using Files

Since files are packaged and copied to the device when deploying it's possible to programmatically access them from the device.

INFO

Files are stored in the root directory on the device.

Example in python to open a file.

fopen("test.png")

Example in python to call a program from another program.

result = subprocess.run(["ls", "-l"], capture_output=True, text=True)

Duplicating

It is possible to duplicate files by right-clicking on the file and selecting either "Duplicate Here" or "Duplicate Elsewhere".

• Duplicate Here: Creates a copy of the file in the same program as the original file.
• Duplicate Elsewhere: Creates a copy of the file in another program selected via dropdown within the specific project. To also duplicate file history enable "Preserve Linage" tick-box.

Renaming

To rename the file right-click on the file and select rename from the dropdown. Enter a new name and click save.

File Information

To view information about a file right-click on the file itself and select "View File Info".

• File name: Name of the file.
• Size of latest version: Size of the latest version of the file.
• Size of all versions: Size of all the version of the file together.
• Originally created by: Who the file was originally created by. Must be a mutexer platform user.
• Latest updated by: Who the file was last updated by. Must be a mutexer platform user.
• Latest updated on: When the file was last updated.
• File extension: The extension of the file.
• MIME type: The type of file.
• Number of versions: The amount of versions of the file.
• Encrypted at rest: If the file is encrypted when stored.
• MRN: (mutexer resource number) Unique identifier for this file.