/share/tools/
../
bash_converter.py
create_manpage_completions.py
deroff.py
import_bash_settings.py
web_config