Curl is a tool to transfer data from or to a server.
curl -X POST "name=you&code=0" http://localhost:9999
man section <name>
Sections are well defined:
- 1 is for shell commands
- 2 is for system calls
- 3 is for programming interface
- 5 is file formats and other rules
On a *nix OS
export HTTP_PROXY=http://proxy.server.com:portnumber
export HTTPS_PROXY=https://proxy.server.com:portnumber
grep -nrl -e 'g' . | xargs sed -i '' -e 's/gg/hh/g'