system-proxy-setup.sh•2.5 kB
#!/bin/bash
# System Proxy Setup Script
# Generated by Web Proxy MCP Server
# WARNING: This modifies system-wide proxy settings
PROXY_SERVER="172.21.255.3:8080"
PAC_URL="http://172.21.255.3:8080/proxy.pac"
echo "System Proxy Configuration"
echo "=========================="
echo "Proxy server: $PROXY_SERVER"
echo "PAC URL: $PAC_URL"
echo ""
# Function to set GNOME proxy (Ubuntu/Debian desktop)
set_gnome_proxy() {
echo "Setting GNOME proxy settings..."
gsettings set org.gnome.system.proxy mode 'auto'
gsettings set org.gnome.system.proxy autoconfig-url "$PAC_URL"
echo "✓ GNOME proxy configured"
}
# Function to set KDE proxy (KDE desktop)
set_kde_proxy() {
echo "Setting KDE proxy settings..."
kwriteconfig5 --file kioslaverc --group 'Proxy Settings' --key ProxyType 2
kwriteconfig5 --file kioslaverc --group 'Proxy Settings' --key 'Proxy Config Script' "$PAC_URL"
echo "✓ KDE proxy configured"
}
# Function to set environment variables
set_env_proxy() {
echo "Setting environment proxy variables..."
export http_proxy="http://$PROXY_SERVER"
export https_proxy="http://$PROXY_SERVER"
export HTTP_PROXY="http://$PROXY_SERVER"
export HTTPS_PROXY="http://$PROXY_SERVER"
# Add to shell profile for persistence (optional)
echo "# Proxy settings - added by Web Proxy MCP" >> ~/.bashrc
echo "export http_proxy=http://$PROXY_SERVER" >> ~/.bashrc
echo "export https_proxy=http://$PROXY_SERVER" >> ~/.bashrc
echo "✓ Environment variables set"
}
# Function to unset proxy
unset_proxy() {
echo "Removing proxy settings..."
# GNOME
gsettings set org.gnome.system.proxy mode 'none' 2>/dev/null
# Environment
unset http_proxy https_proxy HTTP_PROXY HTTPS_PROXY
# Remove from bashrc
sed -i '/# Proxy settings - added by Web Proxy MCP/,+2d' ~/.bashrc 2>/dev/null
echo "✓ Proxy settings removed"
}
# Main menu
case "$1" in
"gnome")
set_gnome_proxy
;;
"kde")
set_kde_proxy
;;
"env")
set_env_proxy
;;
"unset")
unset_proxy
;;
*)
echo "Usage: $0 [gnome|kde|env|unset]"
echo ""
echo "Commands:"
echo " gnome - Set GNOME desktop proxy"
echo " kde - Set KDE desktop proxy"
echo " env - Set environment variables"
echo " unset - Remove all proxy settings"
echo ""
echo "Example: $0 gnome"
;;
esac