35 lines
1.1 KiB
Bash
35 lines
1.1 KiB
Bash
# ------------------------------------------------------------------------------
|
|
# Set system wide proxy if on the good network
|
|
# This file is part of the init.sh project
|
|
# Copyright (c) 2019-2022 Geoffray Levasseur <fatalerrors@geoffray-levasseur.org>
|
|
# ------------------------------------------------------------------------------
|
|
# This file is distributed under 3-clause BSD license.
|
|
# The complete license agreement can be obtained at:
|
|
# https://opensource.org/licenses/BSD-3-Clause
|
|
# ------------------------------------------------------------------------------
|
|
|
|
export VER_select_system_proxy="0.0.5"
|
|
export DEP_select_system_proxy="upgrade_dist"
|
|
|
|
select_system_proxy()
|
|
{
|
|
if [[ -e /etc/apt/apt.conf.d/00proxy || -n $http_proxy ]]; then
|
|
prnt I "Proxy configuration found, adding the switcher for laptops."
|
|
backupdist /etc/rc.local
|
|
appendfile proxy.rc.local /etc/rc.local
|
|
else
|
|
prnt I "No proxy configuration set, nothing to do."
|
|
fi
|
|
NEED_REBOOT=true
|
|
}
|
|
|
|
precheck_select_system_proxy()
|
|
{
|
|
file_exists proxy.rc.local
|
|
}
|
|
|
|
export -f select_system_proxy
|
|
export -f precheck_select_system_proxy
|
|
|
|
# EOF
|