1## ok -*- sh -*-
2
3: "${PREFIX:=/usr/local/bin}"
4: "${SUDO:=sudo}"
5
6install() {
7 ok $SUDO cp ok.sh "$PREFIX/ok"
8}
9
10uninstall() {
11 ok $SUDO rm -f "$PREFIX/ok"
12}1## ok -*- sh -*-
2
3: "${PREFIX:=/usr/local/bin}"
4: "${SUDO:=sudo}"
5
6install() {
7 ok $SUDO cp ok.sh "$PREFIX/ok"
8}
9
10uninstall() {
11 ok $SUDO rm -f "$PREFIX/ok"
12}