Workspace

Manage your workspace settings and configurations

What is it?

A Workspace in Float16 App is a dedicated space where you can use various services separately from other spaces. It helps you manage resources across different projects or environments more effectively.

• Environment Separation: Ideal for managing different development environments (e.g., DEV, UAT, PROD) or multiple projects.

• Workspace-Specific API Keys: Each workspace has its own API keys

• Isolated Analytics: Analytics in each workspace show only transactions that occur within that workspace

• Resource Management: Helps in clearly organizing resources between projects or environments

• Security Management: Manage access permissions for each project or environment (Coming Soon)

All Workspace

Service quotas are account-based, not workspace-based. This means all workspaces within an account share the same quota.

Manage Workspace

Default Workspace

Upon your first login, a default workspace is automatically created for you. The default workspace name is derived from your email address. Example:

• If your email is [e-mail], your default workspace name will be "john.doe".

You can change the name of your default workspace after creation. For instructions on how to change the workspace name, refer to the "Change Workspace Configuration" section.

In Settings -> All Workspace, the default workspace will always be marked as "default".

The default workspace is a permanent workspace. It cannot be deleted.

Switching Workspace

Switching Workspace

To switch from one workspace to another:

1. Click on the current workspace name located in the navigation bar, a list of all workspaces in your account will be displayed.

2. Click on the name of the workspace you wish to access.

3. The system will switch to your selected workspace and display its dashboard.

Adding a Workspace

Adding a Workspace

There are two ways to add a workspace:

1. Add a Workspace via Settings

   • Access "Settings" by clicking the app logo, your accountin the bottom-left corner, or your profile in the top-right corner.
   • Navigate to "All Workspace"

   • Click "New Workspace" and enter a name for your workspace

   • Click "Create". Upon successful creation, you'll be automatically directed to your new workspace.

2. Add a Workspace using the Shortcut

   • Click on the workspace name located in the navigation bar. This will display a list of all workspaces in your account.

   • Click "Create Workspace" and enter a name for your new workspace

   • Click "Create". Upon successful creation, you'll be automatically directed to your new workspace.

For Serverless GPU, each account has a single token. When you add a new workspace, you will share the same token and project with all other workspaces in your account.

Change Workspace Configuration

Default Workspace's Setting

Currently, the only available configuration change is modifying the workspace name.

Change Workspace's name

Follow these instructions to change a workspace's name:

1. Click on"Workspace Settings" located at the bottom-left corner of the page.
2. The "General" section will be displayed, showing the current workspace name and workspace ID.

3. Enter the desired new name in the "Workspace Name" field.

4. Click the "Save" button. A notification stating "Workspace Updated" will appear, confirming that the name has been successfully changed.

Deleting Workspace

Workspace Setting

• The default workspace cannot be deleted.

• Once a workspace is deleted, this action cannot be undone.

To delete a workspace, follow these steps:

1. Click on"Workspace Settings" located at the bottom-left corner of the page.
2. The "General" section will be displayed, locate the "Delete Workspace" button.

3. Click the "Delete Workspace" button, a confirmation dialog will appear.

4. Click "Delete" again in the confirmation dialog to proceed with the deletion.

5. A notification will appear stating "Workspace Deleted", you will be automatically redirected to the All Workspaces page.

Theme

We offer Light and Dark themes to suit your preferences. Your chosen theme will be remembered and maintained even after logging out.

How to Change Your Theme

1. Access "Settings" by:

   • Clicking the app logo or

   • Selecting your accountin the bottom-left corner
   • Clicking your profile in the top-right corner, select "Settings"

2. Locate the theme options at the bottom-left of the Settings page.

3. Choose your preferred theme: - Light - Dark - System (follows your device settings)

Your selected theme will be applied immediately and persist across sessions.