starred/komorebi
1
0
Fork 0
mirror of https://github.com/LGUG2Z/komorebi.git synced 2026-01-11 14:40:25 +01:00
Code Issues 87 Packages Projects Releases 10 Wiki Activity

[PR #1390] [CLOSED] feat(config): make workspace name unique #1376

New Issue
Closed
opened 2026-01-05 14:55:04 +01:00 by adam · 0 comments
adam commented 2026-01-05 14:55:04 +01:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/LGUG2Z/komorebi/pull/1390
Author: @pro470
Created: 4/1/2025
Status: ❌ Closed

Base: master ← Head: make-workspace-name-unique

📝 Commits (1)

  • 7d75212 feat(config): make workspace name unique

📊 Changes

2 files changed (+30 additions, -6 deletions)

View changed files

📝 komorebi/src/static_config.rs (+8 -4)
📝 komorebi/src/workspace.rs (+22 -2)

📄 Description

We made the name from a workspace unique throughout the whole WM, not only in a monitor, by adding a suffix to a name to make it unique.

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/LGUG2Z/komorebi/pull/1390 **Author:** [@pro470](https://github.com/pro470) **Created:** 4/1/2025 **Status:** ❌ Closed **Base:** `master` ← **Head:** `make-workspace-name-unique` --- ### 📝 Commits (1) - [`7d75212`](https://github.com/LGUG2Z/komorebi/commit/7d7521274a50e11084c0fd8cf7e3ecf02e90a132) feat(config): make workspace name unique ### 📊 Changes **2 files changed** (+30 additions, -6 deletions) <details> <summary>View changed files</summary> 📝 `komorebi/src/static_config.rs` (+8 -4) 📝 `komorebi/src/workspace.rs` (+22 -2) </details> ### 📄 Description We made the name from a workspace unique throughout the whole WM, not only in a monitor, by adding a suffix to a name to make it unique. <!-- Please follow the Conventional Commits specification. If you need to update your PR with changes from `master`, please run `git rebase master`. By opening this PR, you confirm that you have read and understood this project's `CONTRIBUTING.md`. --> --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
adam added the pull-request label 2026-01-05 14:55:04 +01:00
adam closed this issue 2026-01-05 14:55:04 +01:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
0.1.36
apps-behaving-badly
bug
bug
cannot-reproduce
documentation
enhancement
github_actions
i-am-stuck
i-will-definitely-work-on-this
i-will-not-work-on-this
i-will-probably-work-on-this
komorebi
komorebi-bar
komorebic
performance
pull-request
Mirrored from GitHub Pull Request
 translation
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
adam
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/komorebi#1376
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?