Product documentation
Citrix Secure Developer Spaces™
View PDF

Configuration

December 17, 2025
Contributed by: 
C

The Configuration Page is used to create and edit custom shell scripts and configuration files, configure your IDE and define personal workspace startup scripts. You can also configure additional settings (e.g. theme) by clicking on the profile picture on the top right of the screen.

Manage Configuration Files

Use the Configuration Files section to personalize your development environment. You can specify your preferred default shell and create custom configuration scripts (such as .bashrc or .zshrc) that automatically apply to your workspaces.

This ensures that every new workspace you create includes your preferred aliases, environment variables, and tool settings without requiring manual setup each time.

config-files

Set the default shell

You can define which shell launches automatically when you open a web terminal in your workspace.

  1. Go to Configuration > Configuration Files.
  2. Under Select the default shell that will open in the web terminal, select the dropdown menu.
  3. Choose your preferred shell (for example, Bash).
  4. Select Save.

Here is the updated Create and edit custom configuration file section, expanded to include more examples from the previous configuration, such as navigation shortcuts and safety prompts.

Create and edit custom configuration files

You can create custom shell scripts and configuration files to persist your environment settings. These files are automatically injected into:

  • Newly created workspaces: The files are applied during the workspace creation process.
  • Existing workspaces: You can manually apply updates by selecting the Personalize Environment action within a workspace.

To create a new configuration file

  1. Go to the Configuration Files section.
  2. In the Create and edit custom shell scripts area, select theCreate Custom Shell dropdown menu.
  3. Select the type of file you want to configure (e.g. Bash Shell or Zsh Shell).
    • If you select Custom Type, enter the specific filename in the adjacent field.
  4. Enter your script or configuration code in the editor pane.
  5. Select Save.

Sample configurations

You can copy and paste the following examples into your .bashrc file to improve productivity and safety.

Improve directory navigation

Use these aliases to list files with more detail (including hidden files and file sizes) and to navigate folders quickly.

```bash
# List all files including hidden ones
alias ll='ls -alF'
alias la='ls -A'

# Go back one or two directories
alias ..='cd ..'
alias ...='cd ../..'
<!--NeedCopy--> ```

Prevent accidental deletions

Add safety prompts to critical commands to ensure you confirm before deleting or overwriting files.

```bash
# Ask for confirmation before executing
alias rm='rm -i'
alias cp='cp -i'
alias mv='mv -i'
<!--NeedCopy--> ```

Configure Git shortcuts

Reduce repetitive typing for common Git operations.

```bash
# Check status
alias gs='git status'

# Add all changes
alias ga='git add .'

# Commit with a message
alias gc='git commit -m'

# Push changes
alias gp='git push'
<!--NeedCopy--> ```

IDE Configuration

IDE configuration files can be managed from the profile settings. A configuration must be initially imported from a running workspace. Then, it can be applied to new or existing workspaces manually or automatically.

ide-config

Currently supported IDEs are:

  • VSCode,
  • any IDEs from Jetbrains.

Startup Script

You can define a personal script that will be executed upon each startup of the workspaces that you own

Tip:

Note that if you defined a startup script for a given workspace, then it will override this one

startup-script

Theme

Two color themes for dashboards are available in the Profile Menu. You can switch between a light and dark theme for the User Interface (UI) display.

theme

Language

A language for the UI can be selected from the footer. Supported languages for the platform UI are:

  • English,
  • French.
Configuration
December 17, 2025
Contributed by: 
C
December 17, 2025
Contributed by: 
C

In this article

Site feedback | Your privacy choices footer linkYour Privacy Choices | Privacy and legal terms | Cookie preferences | Consent settings | docs.cloud.com
© 1999- Cloud Software Group, Inc. All rights reserved.