diff options
author | Bruno Haible <bruno@clisp.org> | 2022-08-07 17:02:21 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2022-08-07 23:04:18 +0200 |
commit | 72ac023526e84e7847cc67788be9afca2f3204fb (patch) | |
tree | 91676bb8151ed5c33fb978018853be559becc5c7 /ChangeLog | |
parent | 858467abd14f2f513d407dbdc5a5093dc0147096 (diff) | |
download | gnulib-72ac023526e84e7847cc67788be9afca2f3204fb.tar.gz |
gnulib-tool.py: Implement option --find.
* pygnulib/GLModuleSystem.py (GLModuleSystem.file_is_module): New
method.
(GLModuleSystem.list): Filter the listing in memory; don't use a 'sed'
subprocess.
* gnulib-tool.py (main): Handle mode 'find'.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -1,5 +1,12 @@ 2022-08-07 Bruno Haible <bruno@clisp.org> + gnulib-tool.py: Implement option --find. + * pygnulib/GLModuleSystem.py (GLModuleSystem.file_is_module): New + method. + (GLModuleSystem.list): Filter the listing in memory; don't use a 'sed' + subprocess. + * gnulib-tool.py (main): Handle mode 'find'. + gnulib-tool: Fix option --find in combination with option --local-dir. * gnulib-tool (func_prefixed_modules_in_dir): New function. (find): Use it, and filter the directory names away after the 'grep' |