Skip to content
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

Ability to change the project name #777

Open
Azmisov opened this issue Jul 13, 2023 · 1 comment
Open

Ability to change the project name #777

Azmisov opened this issue Jul 13, 2023 · 1 comment
Labels
enhancement New feature or request upstream

Comments

@Azmisov
Copy link

Azmisov commented Jul 13, 2023

I have a project with an "unmanaged folder", and it gets an autogenerated name when first opened. Something like: "myproject_380e1993". Is there a way to configure this name explicitly? When I clone/copy the codebase and open from another computer, it generates another random project name, and so the launch.json configurations all need to be changed to fit the new name.

@jdneo
Copy link
Member

jdneo commented Jul 13, 2023

380e1993 this is a hash generated based on the project location on the disk. So different locations result to different suffix.

Technically, I think it can be updated by user. So far the language server does not expose this capability yet.

@jdneo jdneo added enhancement New feature or request upstream labels Jul 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request upstream
Projects
None yet
Development

No branches or pull requests

2 participants