소스 정보
- 저장소
- aresbit/MateBot2tg
- 최근 소스 활동
- 2026년 4월 22일 03:20
- 감지된 SKILL.md 언어
- 영어
- 스타
- 44
- 포크
- 6
설치 방법
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
소스 파일 검토
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
메뉴
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
직접 명령은 검토 Prompt를 거치지 않습니다. 실행하기 전에 소스를 확인하세요.
npx skills add https://github.com/aresbit/MateBot2tg --skill wsl-proxy-fix명령은 한 줄로 유지됩니다. 복사하기 전에 가로로 스크롤해 전체 내용을 확인하세요.
로컬 사본을 원하시나요? SkillsMP에서 현재 제공할 수 있는 파일을 다운로드하세요.
SKILL.md 표시 중
| name | wsl-proxy-fix |
| description | Fix WSL git proxy connection errors (Failed to connect to 127.0.0.1 port 7890) |
| author | ericyangbit |
| version | 1.0.0 |
| tags | ["wsl","git","proxy","networking","troubleshooting"] |
This skill helps diagnose and fix git proxy connection errors in WSL (Windows Subsystem for Linux) environments. Common error: "Failed to connect to 127.0.0.1 port 7890 after 0 ms: Connection refused".
When using git in WSL, you may encounter proxy-related connection errors even when no proxy should be active. This happens because:
# Make the script executable
chmod +x tools/wsl-proxy-fix.sh
# Diagnose the problem
./tools/wsl-proxy-fix.sh --diagnose
# Auto-fix all issues
./tools/wsl-proxy-fix.sh --auto
# Clean proxy configurations
./tools/wsl-proxy-fix.sh --clean
# Switch to SSH protocol
./tools/wsl-proxy-fix.sh --ssh
# Test GitHub connection
./tools/wsl-proxy-fix.sh --test
If you prefer manual fixes:
# Clear git proxy configurations
git config --global --unset http.proxy
git config --global --unset https.proxy
git config --local --unset http.proxy
git config --local --unset https.proxy
# Clear environment variables
unset http_proxy https_proxy HTTP_PROXY HTTPS_PROXY all_proxy ALL_PROXY
# Switch from HTTPS to SSH protocol
git remote set-url origin git@github.com:user/repo.git
# Test connection without proxy
git -c http.proxy= -c https.proxy= push
This error indicates git is trying to use a proxy server at 127.0.0.1:7890, but no proxy is running there.
Solution:
# Clear all proxy configurations
./tools/wsl-proxy-fix.sh --clean
# Or manually:
git config --global --unset http.proxy
git config --global --unset https.proxy
unset http_proxy https_proxy
This error occurs when using HTTPS URLs without proper authentication.
Solution:
# Switch to SSH protocol
./tools/wsl-proxy-fix.sh --ssh
# Or manually:
git remote set-url origin git@github.com:user/repo.git
This happens when SSH keys are not properly configured.
Solution:
# Check SSH keys
ls -la ~/.ssh/
# Test SSH connection
ssh -T git@github.com
# Generate new SSH key if needed
ssh-keygen -t ed25519 -C "your_email@example.com"
Check what's causing the issue:
# 1. Check git proxy settings
git config --global http.proxy
git config --global https.proxy
git config --local http.proxy
git config --local https.proxy
# 2. Check environment variables
env | grep -i proxy
# 3. Check remote URL
git config --get remote.origin.url
# 4. Test network connectivity
curl -I https://github.com
timeout 10s git ls-remote https://github.com/git/git.git
Windows proxy settings can sometimes leak into WSL.
Fix:
# Add to ~/.bashrc or ~/.zshrc
unset http_proxy https_proxy HTTP_PROXY HTTPS_PROXY all_proxy ALL_PROXY
Git credential manager may not work properly in WSL.
Fix:
# Use SSH instead of HTTPS
git remote set-url origin git@github.com:user/repo.git
# Or configure credential helper
git config --global credential.helper store
WSL may have DNS issues resolving github.com.
Fix:
# Check DNS resolution
nslookup github.com
# Try using IP directly (temporary)
git config --global url."https://140.82.121.4/".insteadOf "https://github.com/"
Add these to your shell configuration (~/.bashrc or ~/.zshrc):
# Clear proxy settings on shell startup
unset http_proxy https_proxy HTTP_PROXY HTTPS_PROXY all_proxy ALL_PROXY 2>/dev/null
# Alias for proxy-free git
alias gitnp='git -c http.proxy= -c https.proxy='
# Function to switch git remote to SSH
git-ssh() {
local remote_url
remote_url=$(git config --get remote.origin.url 2>/dev/null)
if [[ -z "$remote_url" ]]; then
echo "Error: No remote origin configured"
return 1
fi
if [[ "$remote_url" == https://github.com/* ]]; then
local repo_path="${remote_url#https://github.com/}"
repo_path="${repo_path%.git}"
local ssh_url="git@github.com:${repo_path}.git"
git remote set-url origin "$ssh_url"
echo "Switched to SSH: $ssh_url"
elif [[ "$remote_url" == https://gitlab.com/* ]]; then
local repo_path="${remote_url#https://gitlab.com/}"
repo_path="${repo_path%.git}"
local ssh_url="git@gitlab.com:${repo_path}.git"
git remote set-url origin ""
}
The tools/wsl-proxy-fix.sh script provides a comprehensive solution:
#!/bin/bash
# WSL Git Proxy Fix Script
# Features:
# 1. Diagnose proxy configurations
# 2. Clean proxy settings
# 3. Switch to SSH protocol
# 4. Test network connectivity
# 5. Auto-fix all issues
Available options:
--diagnose: Show all proxy-related configurations--clean: Remove proxy settings from git and environment--ssh: Convert HTTPS remote URLs to SSH--test: Test GitHub connectivity--auto: Run all fixes automaticallyTo use this skill with Claude Code:
Example Claude interaction:
User: "git push fails with proxy error"
Claude: "Run: ./tools/wsl-proxy-fix.sh --diagnose"
Claude: "Then run: ./tools/wsl-proxy-fix.sh --auto"
Check script permissions:
chmod +x tools/wsl-proxy-fix.sh
Run with bash explicitly:
bash tools/wsl-proxy-fix.sh --diagnose
Check git version:
git --version
Check WSL version:
wsl --version
Check SSH agent:
eval "$(ssh-agent -s)"
ssh-add ~/.ssh/id_ed25519
Verify GitHub SSH access:
ssh -T git@github.com
Add SSH key to GitHub:
cat ~/.ssh/id_ed25519.pub
# Copy and add to GitHub SSH keys
This skill is provided as-is under MIT License. Use at your own risk.
For issues with this skill: