Commit graph

7 commits

Author SHA1 Message Date
Théo Lebrun
1921e05ab1 gitignore: add /data/ for use as data root
Signed-off-by: Théo Lebrun <theo.lebrun@bootlin.com>
2025-01-31 19:27:49 +01:00
Théo Lebrun
420581700e gitignore: add .envrc files from Direnv
https://direnv.net/

Signed-off-by: Théo Lebrun <theo.lebrun@bootlin.com>
2025-01-31 19:26:07 +01:00
Artem Chernyshev
462b8741c5 ignoring env, venv and idea 2023-04-07 12:21:11 +02:00
Christopher White
8a6031c8a1 Add doc-comment extraction
- find-file-doc-comments.pl: new file
- data.py: Add database to store doc-comment locations
- script.sh: Add parse-docs subcommand
- update.py:
  - Add code to process doc comments
  - Update some variable names in hopes of reducing confusion
- query.py:
  - Add code to report doc comments
  - Update some variable names in hopes of reducing confusion

Also:
- t/TestEnvironment.pm: Add find_doc attribute
- t/interact.pl: Don't die if update.py fails
- t/TestHelpers.pm: Permit checking specific sections of query.py output
- t/300: update regexes per the preceding
- gitignore tags (ctags output) and .cache (api_test.py output)
2020-04-02 13:03:03 -04:00
Chris White
f112ab0826 Regularize whitespace; add editorconfig
- Change the few files that use leading tabs into leading spaces.
  This way they match the other files in the repo.
- Add an EditorConfig file so that supported editors will automatically
  use spaces instead of tabs.
- (Extra) Add some common editor backup-file extensions to .gitignore.
2020-03-21 08:58:43 -04:00
Michael Opdenacker
04947524d0 Update .gitignore file
Signed-off-by: Michael Opdenacker <michael.opdenacker@bootlin.com>
2019-09-23 15:07:15 +02:00
Mikaël Bouillot
2997686d70 Shell script and call from Python 2017-02-04 20:07:26 +01:00