- 
                Notifications
    
You must be signed in to change notification settings  - Fork 306
 
          feat: add rename-workspace command
          #1042
        
          New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
362cbb3    to
    da55c3f      
    Compare
  
    | 
           This would be great to have!  | 
    
| 
           Thanks for working on this! 💜 I have a couple of suggestions to consider: 
  | 
    
| 
           I would really like an option to rename to something on the fly, so that it is not hard-coded in the config file, but something you can do just after you have thrown a window into that workspace.  | 
    
| 
           Hi @lars-berger. Again, thanks for the suggestion and review. This has been done. Let me know if you think there should be another improvement.  | 
    
| 
           Since the   | 
    
It seems that there isn't a command to rename workspace yet... So, this commit adds a simple command
rename-workspace.Usage:
rename-workspace --name 1 --display-name hellorename-workspace --name 1: rename to "1" without a display namerename-workspace --display-name hello: set the display name to "hello"rename-workspace 1:hello==rename-workspace --name 1 --display-name hellorename-workspace 1==rename-workspace --name 1rename-workspace --workspace 1 1:helloRelated: #776