Skip to content

Conversation

@dmg0345
Copy link
Owner

@dmg0345 dmg0345 commented Jun 14, 2025

  • Fix the terminals by using profiles to start them.
  • Update DockerFile with the profiles.

- Fix the terminals by using profiles to start them.
- Update DockerFile with the profiles.
@dmg0345 dmg0345 self-assigned this Jun 14, 2025
@github-actions
Copy link

@dmg0345 dmg0345 merged commit 10aaa58 into develop Jun 14, 2025
8 checks passed
@dmg0345 dmg0345 deleted the feature/fix_terminals branch June 14, 2025 16:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant