#!/bin/sh set -e if [ -n "$1" ]; then http_proxy="$1" fi if [ -z "$http_proxy" ]; then echo "No http_proxy in command line or environment!" echo echo "usage: $0 [HTTP_PROXY]" exit 1 fi cat > /etc/profile.d/http_proxy.sh<