mirror of
https://github.com/tiennm99/serena.git
synced 2026-10-14 08:18:36 +00:00
Refactoring: Rename ProjectConfig.languages to language_servers
This commit is contained in:
1 parent
d2cf18ddcb
commit
4f8f9b3fc8
17 files changed
+90
-75
No files matched your search
@@ -40,7 +40,7 @@ def make_agent() -> SerenaAgent:
|
||||
project_root=str(REPO_PATH),
|
||||
project_config=ProjectConfig(
|
||||
project_name="demo_serena_repo",
|
||||
languages=[LanguageServerId.PYTHON],
|
||||
language_servers=[LanguageServerId.PYTHON],
|
||||
ignored_paths=[],
|
||||
excluded_tools=[],
|
||||
read_only=False,
|
||||
|
||||
@@ -29,7 +29,7 @@ def make_agent(project_root: Path, language: LanguageServerId, project_name: str
|
||||
project_root=str(project_root),
|
||||
project_config=ProjectConfig(
|
||||
project_name=project_name,
|
||||
languages=[language],
|
||||
language_servers=[language],
|
||||
ignored_paths=[],
|
||||
excluded_tools=[],
|
||||
read_only=False,
|
||||
|
||||
@@ -27,7 +27,7 @@ def make_agent(project_root: Path, language: LanguageServerId, project_name: str
|
||||
project_root=str(project_root),
|
||||
project_config=ProjectConfig(
|
||||
project_name=project_name,
|
||||
languages=[language],
|
||||
language_servers=[language],
|
||||
ignored_paths=[],
|
||||
excluded_tools=[],
|
||||
read_only=False,
|
||||
|
||||
Reference in new issue
Block a user