Skip to content

Instantly share code, notes, and snippets.

@varvaruc
Created November 14, 2013 20:06
Show Gist options
  • Save varvaruc/7473453 to your computer and use it in GitHub Desktop.
Save varvaruc/7473453 to your computer and use it in GitHub Desktop.
In order to use WGET through a proxy server, the environment variable HTTP_PROXY needs to be set.
export http_proxy=http://proxy.example.com:8080
Then, run wget with the --proxy option.
Wget --proxy http://site_to_Retrieve
Make Networking Easier with /etc/hosts
Remembering IP addresses is a pain; we’d much rather use machine names. Fortunately, we don’t need to bother with a DNS server, since /etc/hosts makes this trivial. Just edit the file (as root) adding lines like the following:
192.168.56.101 myserver1
192.168.56.102 myserver2
… and so on. You can do this on the host as well as on the guests. This makes it really simple to access any machine on the host-only network. Now you can just do something like ssh myserver1 instead of ssh 192.168.56.101.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment