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 | |
echo "Proxy Environment variables:" | |
env | grep -i proxy | |
if [ $? -ne 0 ]; then | |
echo "No proxy settings found." | |
fi | |
echo '---------------------------------------------------------' |
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
#!/usr/bin/env bash | |
# This script is used to unset proxy environment variables | |
# and proxy settings for gnome, apt and docker. | |
# Unset proxy environment variables | |
unset http_proxy | |
unset HTTP_PROXY | |
unset https_proxy | |
unset HTTPS_PROXY |
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
#!/usr/bin/env bash | |
# This script is used to set proxy environment variables | |
# and proxy settings for gnome, apt and docker. | |
############################################################## | |
# Configuration (change these values to your proxy settings) | |
PROXY_HOST= | |
PROXY_PORT= | |
PROXY_PAC= |