diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2023-01-26 22:21:28 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2023-01-27 15:16:04 -0700 |
| commit | 151aa5cd8fbad6a079633473cf3e6a0d8218a638 (patch) | |
| tree | f41b716d7ef3d17717a3df18efadd2a72d18ae1c /README | |
| parent | 8fa508f6f7fa1fd695e943cdf809d5f5209dabf3 (diff) | |
| download | dotfiles-151aa5cd8fbad6a079633473cf3e6a0d8218a638.tar.gz | |
README: add note about the naming of lib-src/
Diffstat (limited to 'README')
| -rw-r--r-- | README | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -62,3 +62,12 @@ scripts/: Helper scripts and programs that I don't want on PATH. turned into files commencing `#!/usr/bin/perl -wnl', are the sort of thing we have in here. The scripts are loosely categorised, e.g. dgit/ might contain tools useful when developing dgit. + +lib-src/: Miscellaneous includes and configuration. + + The directory does not contain any source code that is compiled into + object files, as its name might suggest. Any replacement name should be + one where either I'm unlikely to want a directory of that name directly + under HOME, or at least such that I'll never want to stow any files into + that directory directly under HOME; this is in order that I can just + hstow-ignore the whole thing. Some ideas: 'lib', 'share', 'lib-inc'. |