Perform HEAD instead of GET for HEAD

micha / resty

Little command line REST client that you can use in pipelines (bash or zsh).

MIT License

2.65k stars 143 forks source link

Closed mattstevens closed 13 years ago

mattstevens commented 13 years ago

HEAD requests are sometimes handled differently from GETs so the distinction can be important.

micha commented 13 years ago

Thanks! You're right about that. I merged your version into master. I don't remember why I did it that way.