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

[FEATURE] Add docker code server #243

Open
TIBTHINK opened this issue Jun 22, 2023 · 0 comments
Open

[FEATURE] Add docker code server #243

TIBTHINK opened this issue Jun 22, 2023 · 0 comments
Assignees

Comments

@TIBTHINK
Copy link

About which PHP Version we are talking ?
any
Is your feature request related to a problem? Please describe.
I'm assuming that most people who use this are developers. I think adding a code server to this
will make it so you can work on this from anywhere and you do not have to worry about the resources used with a full feature ide

Describe the solution you'd like
add either coder's version or Linux server version of this implications

Describe alternatives you've considered
for docker implications there are none. I have added the code server successfully but it does mean that pma cant be using port 8443 and is instead using port 8442 as of now.

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

No branches or pull requests

2 participants