Move packaging scripts for docker and appimage into subdirectory.

- De-clutter the project root directory.
This commit is contained in:
Andrew Hamilton 2021-11-03 21:23:15 +10:00
parent 0f59e43395
commit 58b78e9ce4
10 changed files with 6 additions and 6 deletions

View file

@ -1,60 +0,0 @@
#!/usr/bin/env python3.9
# -*- coding: utf-8 -*-
import eris.tools as tools
def main():
all_tools = ([(["*"], tools.generic_tools() +
[tools.git_diff, tools.git_blame, tools.git_log])] +
tools.TOOLS_FOR_EXTENSIONS)
tool_set = set()
extension_set = set()
for extensions, tools_ in all_tools:
tool_set.update(tools_)
extension_set.update(extensions)
print(f"""\
# Eris Codebase Monitor
## Summary
Eris maintains an up-to-date set of reports for every file in a codebase.
## Installation
### Ubuntu (21.10)
# git clone https://github.com/ahamilton/eris
# cd eris
# ./install
# eris -h
### Docker
# git clone https://github.com/ahamilton/eris
# cd eris
# sudo docker build -t eris .
# cp eris-docker ~/bin/eris # e.g. Put wrapper script in your PATH
# eris -h
### AppImage
# Download AppImage file from github releases page:
https://github.com/ahamilton/eris/releases
# chmod +x eris-2020-09-24.AppImage
# mv eris-2020-09-24.AppImage ~/bin/eris # e.g. Put appimage in your PATH
# eris -h
## Tools
File types({len(extension_set)-1}) | Tools({len(tool_set)})
----------:| -----""")
for extensions, tools_ in all_tools:
print("%s | %s" % (
" ".join("." + extension for extension in extensions),
"".join(f"[{tool.__name__}]({tool.url})" for tool in tools_)))
if __name__ == "__main__":
main()