Minor docstring & prompt fixes for AgentSkills (#2028)

* A few minor fixes to agentskills

* Regenerate prompts

* Remove redundant comment
This commit is contained in:
Boxuan Li
2024-05-23 22:30:48 -07:00
committed by GitHub
parent cbf4c4b4c4
commit c59bcbbffd
12 changed files with 46 additions and 47 deletions

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:
@@ -291,4 +291,4 @@ NOW, LET'S START!
Use Jupyter IPython to write a text file containing 'hello world' to '/workspace/test.txt'. Do not ask me for confirmation at any point.
ENVIRONMENT REMINDER: You have 9 turns left to complete the task.
ENVIRONMENT REMINDER: You have 9 turns left to complete the task.

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:
@@ -304,4 +304,4 @@ with open('/workspace/test.txt', 'w') as f:
OBSERVATION:
[Code executed successfully with no output]
ENVIRONMENT REMINDER: You have 8 turns left to complete the task.
ENVIRONMENT REMINDER: You have 8 turns left to complete the task.

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:
@@ -291,4 +291,4 @@ NOW, LET'S START!
Install and import pymsgbox==1.0.9 and print it's version in /workspace/test.txt. Do not ask me for confirmation at any point.
ENVIRONMENT REMINDER: You have 9 turns left to complete the task.
ENVIRONMENT REMINDER: You have 9 turns left to complete the task.

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:
@@ -311,4 +311,4 @@ OBSERVATION:
[Package installed successfully]
[Kernel restarted successfully to load the package]
ENVIRONMENT REMINDER: You have 8 turns left to complete the task.
ENVIRONMENT REMINDER: You have 8 turns left to complete the task.

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:
@@ -336,4 +336,4 @@ with open("/workspace/test.txt", "w") as f:
OBSERVATION:
[Code executed successfully with no output]
ENVIRONMENT REMINDER: You have 7 turns left to complete the task.
ENVIRONMENT REMINDER: You have 7 turns left to complete the task.

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:
@@ -291,4 +291,4 @@ NOW, LET'S START!
Write a shell script 'hello.sh' that prints 'hello'. Do not ask me for confirmation at any point.
ENVIRONMENT REMINDER: You have 9 turns left to complete the task.
ENVIRONMENT REMINDER: You have 9 turns left to complete the task.

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:
@@ -305,4 +305,4 @@ OBSERVATION:
[Command -1 finished with exit code 0]]
ENVIRONMENT REMINDER: You have 8 turns left to complete the task.
ENVIRONMENT REMINDER: You have 8 turns left to complete the task.

View File

@@ -21,7 +21,7 @@ If the assistant require access to GitHub but $GITHUB_TOKEN is not set, ask the
Apart from the standard Python library, the assistant can also use the following functions (already imported) in <execute_ipython> environment:
open_file(path: str, line_number: Optional[int] = None) -> None:
Opens the file at the given path in the editor. If line_number is provided, the window will be move to include that line.
Opens the file at the given path in the editor. If line_number is provided, the window will be moved to include that line.
Args:
path: str: The path to the file to open.
line_number: Optional[int]: The line number to move to.
@@ -50,8 +50,8 @@ edit_file(start: int, end: int, content: str) -> None:
Edit a file.
It replaces lines `start` through `end` (inclusive) with the given text `content` in the open file. Remember, the file must be open before editing.
Args:
start: int: The start line number. Must be greater or equal to 1.
end: int: The end line number. Must be greater or equal to 1 AND greater than start AND less than or equal to the number of lines in the file.
start: int: The start line number. Must satisfy start >= 1.
end: int: The end line number. Must satisfy start <= end <= number of lines in the file.
content: str: The content to replace the lines with.
search_dir(search_term: str, dir_path: str = './') -> None:
@@ -318,4 +318,4 @@ OBSERVATION:
hello
[Command -1 finished with exit code 0]]
ENVIRONMENT REMINDER: You have 7 turns left to complete the task.
ENVIRONMENT REMINDER: You have 7 turns left to complete the task.