EFREI PROXY

proxy.sh

#!/bin/bash

# Script pour lancer le proxy à l'EFREI
# Fonctionne avec bash et zsh
# Penser à utiliser `sudo -E` si besoin

assignProxy(){
    export http_proxy=$1
    export https_proxy=$1
    export ftp_proxy=$1
    export all_proxy=$1
    export HTTP_PROXY=$1
    export HTTPS_PROXY=$1
    export FTP_PROXY=$1
    export ALL_PROXY=$1
    if [[ $1 != "" ]]
    then
        echo "Proxy setup to $1 !"
    else
        echo "Proxy is now clean !"
    fi
}

clearProxy(){
    assignProxy ""
}

alias proxy_efrei="assignProxy 192.102.224.14:3128"
alias proxy_clear="clearProxy"