-
Notifications
You must be signed in to change notification settings - Fork 26
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
Renaming global directory #2604
Comments
Is it possible for the backend to moce the folders (plus files in these folders) one level up and delete the "global" folder alltogether? |
Yes it's possible. But it will also require some changes to the main repository as well as to the client and auth-service. |
We will also need to check where the manage service might depend on the And possibly more services.. |
This proposal I like. |
Checked the manage service. |
At the moment we use global as the name for the directory containing the meta repository and data intended for further use in other modules.
'global' is one of the reserved keywords in python and thus must not be used in this case as it will lead to a syntax error. There are work-arounds but they will lead to errors by the linting tools we use (e.g. mypy) that need to be suppressed.
example:
>>> import global.example_module
work-around:
>>> sys.path.append("global")
>>> import example_module
work-around (suppressed linting):
>>> sys.path.append("global")
>>> import example_module # type: ignore # noqa
To tackle the problem at the root I suggest we rename the directory to something similar (e.g. universal, general, unbounded, planetary, comprehensive) and adjust all references.
The text was updated successfully, but these errors were encountered: