diff options
author | Eric Wong <e@80x24.org> | 2021-09-15 21:35:57 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-09-15 23:14:21 +0000 |
commit | 5d9dcc31959d520d3e7bed3f68871245bc915ca3 (patch) | |
tree | 00c2e401ba1e8b4a793816913dadf513df5d13cd /script/public-inbox-compact | |
parent | 8d56d54e94125626a4777e5d45bfdc1342f0ba13 (diff) | |
download | public-inbox-5d9dcc31959d520d3e7bed3f68871245bc915ca3.tar.gz |
Since the beginning of time, I've been dropping Makefiles in $INBOX_DIR (and above hiearchies) to organize groups of commands. make(1) is widely available in various flavors and a familiar tool for our target audience. It is easy to run in the right directory, typically has built-in shell completion, and doesn't silently ignore errors by default like Bourne shell.
Diffstat (limited to 'script/public-inbox-compact')
0 files changed, 0 insertions, 0 deletions