clean.install


1
2
3
4
5
6
7
8
9
10
11

post_install() {
    echo " "
    echo " Clean has been installed, but is **not** usable!"
    echo " It needs to be setup locally, call \`clenv init'"
    echo " to setup Clean for your account."
    echo " "
}

post_upgrade() {
    post_install
}