mirror of
https://github.com/OpenHands/OpenHands.git
synced 2025-12-26 13:52:43 +08:00
01ae22ef57
* Replace OpenDevin with OpenHands * Update CONTRIBUTING.md * Update README.md * Update README.md * update poetry lock; move opendevin folder to openhands * fix env var * revert image references in docs * revert permissions * revert permissions --------- Co-authored-by: Xingyao Wang <xingyao6@illinois.edu>
53 lines
1.7 KiB
Python
53 lines
1.7 KiB
Python
import bashlex
|
|
|
|
from openhands.core.logger import openhands_logger as logger
|
|
|
|
|
|
def split_bash_commands(commands):
|
|
try:
|
|
parsed = bashlex.parse(commands)
|
|
except bashlex.errors.ParsingError as e:
|
|
logger.debug(
|
|
f'Failed to parse bash commands\n'
|
|
f'[input]: {commands}\n'
|
|
f'[warning]: {e}\n'
|
|
f'The original command will be returned as is.'
|
|
)
|
|
# If parsing fails, return the original commands
|
|
return [commands]
|
|
|
|
result: list[str] = []
|
|
last_end = 0
|
|
|
|
for node in parsed:
|
|
start, end = node.pos
|
|
|
|
# Include any text between the last command and this one
|
|
if start > last_end:
|
|
between = commands[last_end:start]
|
|
logger.debug(f'BASH PARSING between: {between}')
|
|
if result:
|
|
result[-1] += between.rstrip()
|
|
elif between.strip():
|
|
# THIS SHOULD NOT HAPPEN
|
|
result.append(between.rstrip())
|
|
|
|
# Extract the command, preserving original formatting
|
|
command = commands[start:end].rstrip()
|
|
logger.debug(f'BASH PARSING command: {command}')
|
|
result.append(command)
|
|
|
|
last_end = end
|
|
|
|
# Add any remaining text after the last command to the last command
|
|
remaining = commands[last_end:].rstrip()
|
|
logger.debug(f'BASH PARSING remaining: {remaining}')
|
|
if last_end < len(commands) and result:
|
|
result[-1] += remaining
|
|
logger.debug(f'BASH PARSING result[-1] += remaining: {result[-1]}')
|
|
elif last_end < len(commands):
|
|
if remaining:
|
|
result.append(remaining)
|
|
logger.debug(f'BASH PARSING result.append(remaining): {result[-1]}')
|
|
return result
|