Commit 21d27c3db20cf6ef3624950304f6935c54c12356
1 parent
e6f0522806
Exists in
master
and in
2 other branches
FIX sys_base_install.sh
Showing 1 changed file with 2 additions and 2 deletions Side-by-side Diff
tools/sys_base_install.sh
| ... | ... | @@ -11,10 +11,10 @@ export GJ_DEVENV="local_aptproxy" |
| 11 | 11 | export GJ_SHELL="bash" |
| 12 | 12 | |
| 13 | 13 | function set_apt_proxy { |
| 14 | - if [ "$GJ_DEVENV" == "local_aptproxy" ]; then | |
| 14 | + if [[ "$GJ_DEVENV" == "local_aptproxy" ]]; then | |
| 15 | 15 | echo "Setting apt-proxy: srvths" |
| 16 | 16 | printf 'Acquire::http { Proxy "http://192.168.188.110:3142"; };\nAcquire::https { Proxy "https://"; };\n' > /etc/apt/apt.conf.d/02proxy |
| 17 | - elif [ "$GJ_DEVENV" == "hetzner_server" ]; then | |
| 17 | + elif [[ "$GJ_DEVENV" == "hetzner_server" ]]; then | |
| 18 | 18 | echo "Setting apt-mirror: hetzner mirror" |
| 19 | 19 | echo 'deb ftp://mirror.hetzner.de/debian/packages wheezy main contrib non-free' > /etc/apt/sources.list.d/hetzner.list |
| 20 | 20 | echo 'deb ftp://mirror.hetzner.de/debian/security wheezy/updates main contrib non-free' >> /etc/apt/sources.list.d/hetzner.list |