diff options
| author | Owen Jacobson <owen@grimoire.ca> | 2020-06-18 01:25:27 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-18 01:25:27 -0400 |
| commit | ce432438c8be147135f6c56bdd3229834bff2aa6 (patch) | |
| tree | 49f0290591c0c48d69607656db3a6f1f10323e7a /tools/README.md | |
| parent | 3ccaa5f22c66874b274506fe784939806fb0f2db (diff) | |
| parent | e344f6c6245fe1121976b407a989af86c7453dad (diff) | |
Merge pull request #10 from ojacobson/checks-to-tools
Extracted checks into a tools directory.
Diffstat (limited to 'tools/README.md')
| -rw-r--r-- | tools/README.md | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/tools/README.md b/tools/README.md new file mode 100644 index 0000000..8c1b7e0 --- /dev/null +++ b/tools/README.md @@ -0,0 +1,26 @@ +# Local Tools + +The scripts in this directory assume they will be run from the root of the +project, as `tools/NAME`. They contain brief, branch-free, composable scripts +intended to be run to achieve frequent goals. They act as a shared shell +history, of a sorts, and as a place to put command-line-ish code that needs to +be shared by multiple components. + +Each script begins with a brief comment demonstrating the intended invocation +and the effects. + +## Authoring + +Tools _should_ begin with a shebang or shell `set` expression that enables +exiting on failure and that enables command echoing, followed by a documentation +comment: + +```bash +#!/bin/bash -ex + +# tools/my-example-tool +# +# Runs all example tasks. + +: … +``` |
