This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Executes a given bash command with optional timeout. Working directory persists between commands; shell state (everything else) does not. The shell environment is initialized from the user's profile (bash or zsh). | |
| IMPORTANT: This tool is for terminal operations like git, npm, docker, etc. DO NOT use it for file operations (reading, writing, editing, searching, finding files) - use the specialized tools for this instead. | |
| Before executing the command, please follow these steps: | |
| Directory Verification: | |
| If the command will create new directories or files, first use ls to verify the parent directory exists and is the correct location | |
| For example, before running "mkdir foo/bar", first use ls foo to check that "foo" exists and is the intended parent directory |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # Check if a GitHub URL is provided as an argument | |
| if [ -z "$1" ]; then | |
| echo "Usage: $0 <github_url>" | |
| exit 1 | |
| fi | |
| # Store the GitHub URL | |
| GIT_URL="$1" |