I am using PyDev plugin for Eclipse. I see some properties like below:
I guess this is some eclipse built-in properties (not sure if this is the canonical name). I searched a bit but no luck.
Where are such properties defined? How to check their values?
There's only pre-defined variable from PyDev: PROJECT_DIR_NAME.
Then there's "ECLIPSE_HOME, PARENT_LOC, WORKSPACE_LOC, PROJECT_LOC" from Eclipse.
Other variables have to be manually created by yourself in 3 different places:
String Substitution Variables associated to the project (in the project properties > PyDev - PYTHONPATH -- i.e.: in that same window in the rightmost tab).
String Substitution Variables associated to the Python interpreter (in Preferences > PyDev > Interpreters > Python Interpreter > rightmost tab).
Path Variables in Preferences > General > Workspace > Linked Resources > Path variables (associated to the workspace).
The variables may be used for source folders or external libraries.