[advertisement] One-Liner for Installing ATS (especially for Cloud9)

[Steinway Wu]

Hello,

Gist: https://gist.github.com/steinwaywhw/a574c13b82275b8dc712

One-Liner: 

curl -L http://git.io/vJbxe | sudo sh

This is just a one-liner for installing ATS into current directory, and producing a "env.sh" that you can "source".

I myself uses Cloud9 (c9.io, a cloud IDE) frequently, and this one-liner helped me setup everything. Hope this will benefit you, too.

[gmhwxi]

Thanks!

This can be very convenient for teaching ATS. It is good for testing ATS, too.

Cheers,

--Hongwei