Skip to content

Commit

Permalink
Remove param from docstring that does not exist in the append_file (#…
Browse files Browse the repository at this point in the history
  • Loading branch information
amir-mic-lin authored Sep 26, 2024
1 parent 29c34e0 commit 3e5c01d
Show file tree
Hide file tree
Showing 49 changed files with 373 additions and 422 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -786,7 +786,6 @@ def append_file(file_name: str, content: str) -> None:
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.
"""
ret_str = _edit_file_impl(
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down Expand Up @@ -418,9 +417,9 @@ git status
----------

OBSERVATION:
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).

[Python Interpreter: /openhands/poetry/openhands-ai-5O4_aCHf-py3.11/bin/python]
openhands@docker-desktop:/workspace $
[Command -1 finished with exit code 128]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down Expand Up @@ -418,9 +417,9 @@ git status
----------

OBSERVATION:
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).

[Python Interpreter: /openhands/poetry/openhands-ai-5O4_aCHf-py3.11/bin/python]
openhands@docker-desktop:/workspace $
[Command -1 finished with exit code 128]
Expand All @@ -437,19 +436,19 @@ git init
----------

OBSERVATION:
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
error: chmod on /workspace/.git/config.lock failed: Operation not permitted
fatal: could not set 'core.filemode' to 'false'
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
error: chmod on /workspace/.git/config.lock failed: Operation not permitted
fatal: could not set 'core.filemode' to 'false'

[Python Interpreter: /openhands/poetry/openhands-ai-5O4_aCHf-py3.11/bin/python]
openhands@docker-desktop:/workspace $
[Command -1 finished with exit code 128]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down Expand Up @@ -418,9 +417,9 @@ git status
----------

OBSERVATION:
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).

[Python Interpreter: /openhands/poetry/openhands-ai-5O4_aCHf-py3.11/bin/python]
openhands@docker-desktop:/workspace $
[Command -1 finished with exit code 128]
Expand All @@ -437,19 +436,19 @@ git init
----------

OBSERVATION:
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
error: chmod on /workspace/.git/config.lock failed: Operation not permitted
fatal: could not set 'core.filemode' to 'false'
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
error: chmod on /workspace/.git/config.lock failed: Operation not permitted
fatal: could not set 'core.filemode' to 'false'

[Python Interpreter: /openhands/poetry/openhands-ai-5O4_aCHf-py3.11/bin/python]
openhands@docker-desktop:/workspace $
[Command -1 finished with exit code 128]
Expand All @@ -466,11 +465,11 @@ ls -la
----------

OBSERVATION:
total 4
drwxrwxrwx 1 pn pn 4096 Sep 8 15:57 .
drwxr-xr-x 1 root root 4096 Sep 8 15:57 ..
drwxrwxrwx 1 pn pn 4096 Sep 8 15:57 .git
total 4
drwxrwxrwx 1 pn pn 4096 Sep 8 15:57 .
drwxr-xr-x 1 root root 4096 Sep 8 15:57 ..
drwxrwxrwx 1 pn pn 4096 Sep 8 15:57 .git

[Python Interpreter: /openhands/poetry/openhands-ai-5O4_aCHf-py3.11/bin/python]
openhands@docker-desktop:/workspace $
[Command -1 finished with exit code 0]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,6 @@ append_file(file_name: str, content: str) -> None:
It appends text `content` to the end of the specified file, ideal after a `create_file`!
Args:
file_name: str: The name of the file to edit.
line_number: int: The line number (starting from 1) to insert the content after.
content: str: The content to insert.

search_dir(search_term: str, dir_path: str = './') -> None:
Expand Down Expand Up @@ -418,9 +417,9 @@ git status
----------

OBSERVATION:
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).

[Python Interpreter: /openhands/poetry/openhands-ai-5O4_aCHf-py3.11/bin/python]
openhands@docker-desktop:/workspace $
[Command -1 finished with exit code 128]
Expand All @@ -437,19 +436,19 @@ git init
----------

OBSERVATION:
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
error: chmod on /workspace/.git/config.lock failed: Operation not permitted
fatal: could not set 'core.filemode' to 'false'
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
error: chmod on /workspace/.git/config.lock failed: Operation not permitted
fatal: could not set 'core.filemode' to 'false'

[Python Interpreter: /openhands/poetry/openhands-ai-5O4_aCHf-py3.11/bin/python]
openhands@docker-desktop:/workspace $
[Command -1 finished with exit code 128]
Expand All @@ -466,11 +465,11 @@ ls -la
----------

OBSERVATION:
total 4
drwxrwxrwx 1 pn pn 4096 Sep 8 15:57 .
drwxr-xr-x 1 root root 4096 Sep 8 15:57 ..
drwxrwxrwx 1 pn pn 4096 Sep 8 15:57 .git
total 4
drwxrwxrwx 1 pn pn 4096 Sep 8 15:57 .
drwxr-xr-x 1 root root 4096 Sep 8 15:57 ..
drwxrwxrwx 1 pn pn 4096 Sep 8 15:57 .git

[Python Interpreter: /openhands/poetry/openhands-ai-5O4_aCHf-py3.11/bin/python]
openhands@docker-desktop:/workspace $
[Command -1 finished with exit code 0]
Expand All @@ -485,9 +484,9 @@ git status
----------

OBSERVATION:
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).

[Python Interpreter: /openhands/poetry/openhands-ai-5O4_aCHf-py3.11/bin/python]
openhands@docker-desktop:/workspace $
[Command -1 finished with exit code 128]
Expand Down
Loading

0 comments on commit 3e5c01d

Please sign in to comment.