Skip to content

any method to rename code-server #5635

Answered by im-coder-lg
alanhe421 asked this question in General
Discussion options

You must be logged in to vote

I think you have to modify the source code. The DevTools settings are temporary; editing the source code and repackaging makes the change permanent.

Replies: 1 comment 3 replies

Comment options

You must be logged in to vote
3 replies
@alanhe421
Comment options

@im-coder-lg
Comment options

@jsjoeio
Comment options

Answer selected by alanhe421
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
3 participants