diff options
| author | Case Duckworth | 2024-05-02 22:55:16 -0500 |
|---|---|---|
| committer | Case Duckworth | 2024-05-02 22:55:16 -0500 |
| commit | a5b4863d9702a13e96665d118f9b974bb59ae7d6 (patch) | |
| tree | 874c396bd745e3569c6d8c49e54a95d213eac238 /ok | |
| download | planet-main.tar.gz planet-main.zip | |
First commit main
Diffstat (limited to 'ok')
| -rw-r--r-- | ok | 16 |
1 files changed, 16 insertions, 0 deletions
| diff --git a/ok b/ok new file mode 100644 index 0000000..43a98a2 --- /dev/null +++ b/ok | |||
| @@ -0,0 +1,16 @@ | |||
| 1 | # planet! -*- sh -*- | ||
| 2 | |||
| 3 | build(){ # build the library/whatever | ||
| 4 | ok chicken-install -n | ||
| 5 | } | ||
| 6 | |||
| 7 | clean(){ # clean up ignored files | ||
| 8 | ignore=.gitignore | ||
| 9 | test -f "$ignore" || return 1 | ||
| 10 | while read -r glob | ||
| 11 | do find . -iname "$glob" | | ||
| 12 | while read -r file | ||
| 13 | do ok rm "$file" | ||
| 14 | done | ||
| 15 | done < "$ignore" | ||
| 16 | } | ||