c9.io + lean

c9io_lean.sh

#!/usr/bin/env bash
sudo add-apt-repository --yes ppa:leanprover/lean
sudo apt-get -qq update
sudo apt-get -qq install lean
 
mkdir ~/workspace/.c9/runners

cat << EOF > ~/workspace/.c9/runners/Lean.run
// Create a custom Cloud9 runner - similar to the Sublime build system
// For more information see https://docs.c9.io/custom_runners.html
{
    "cmd" : ["/usr/bin/lean", "\$file", "\$args"],
    "info" : "Started \$project_path\$file_name",
    "env" : {},
    "selector" : "source.lean"
}
EOF
 
cat << EOF > ~/workspace/.c9/runners/HLean.run
// Create a custom Cloud9 runner - similar to the Sublime build system
// For more information see https://docs.c9.io/custom_runners.html
{
    "cmd" : ["/usr/bin/lean", "\$file", "\$args"],
    "info" : "Started \$project_path\$file_name",
    "env" : {},
    "selector" : "source.hlean"
}
EOF

How to Use

curl -fsSkl https://gist.githubusercontent.com/soonhokong/2efe1bf54af7d3dec095/raw/c9io_lean.sh | bash