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

/root/devtools should be moved to a bash/sh path instead #400

Open
tywrenn opened this issue Jan 21, 2025 · 1 comment
Open

/root/devtools should be moved to a bash/sh path instead #400

tywrenn opened this issue Jan 21, 2025 · 1 comment

Comments

@tywrenn
Copy link

tywrenn commented Jan 21, 2025

Currently, the devtools script is located in the root folder and is in a location where Windows Subsystem might have trouble executing it. If we move it to a folder that's included in .bashrc such as /usr/bin, then you can execute the script easier like this:
docker exec -i (container name) /bin/bash devtools build-themes.

We can make this a backwards compatible thing as well so it doesn't end up breaking what we wrote down already.

@jesdynf
Copy link
Collaborator

jesdynf commented Feb 15, 2025

Sorry for the delay in getting back to this. I suppose I'd be willing to consider /usr/local/bin for it. And a symlink, perhaps? If you can submit a PR I'll take a look at it.

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