packaging: Let eris install on Fedora distributions

packaging/Dockerfile

@@ -8,7 +8,7 @@ COPY . eris
 RUN PIPX_BIN_DIR=/bin pipx install --system-site-packages ./eris/eris
 RUN chmod a+rwx -R /root
 RUN apt-get install -y sudo
-RUN eris --apt-install-tools
+RUN eris --install-all-tools
 
 ENTRYPOINT ["eris"]
 

packaging/Dockerfile.fedora

@@ -0,0 +1,15 @@
+
+
+FROM fedora
+
+RUN dnf -y install python3.11 python3-pip pipx gcc python3.11-devel
+COPY . eris
+RUN PIPX_BIN_DIR=/bin pipx install --system-site-packages ./eris/eris
+RUN chmod a+rwx -R /root
+RUN dnf -y install sudo
+RUN eris --install-all-tools
+
+ENTRYPOINT ["eris"]
+
+
+# docker build -t eris -f packaging/Dockerfile.fedora .

packaging/make-readme.py

@@ -22,13 +22,12 @@ Eris maintains an up-to-date set of reports for every file in a codebase.
 
 ## Installation
 
-#### Debian / Ubuntu
+#### Debian / Ubuntu / Fedora
 
-Install eris directly using pipx, and apt install the tools eris relies on:
+Install eris with pipx, then install all the tools eris uses:
 
-    sudo apt install pipx
     pipx install --system-site-packages git+https://gitlab.com/ahamilton/eris@v2023.09.11#subdirectory=eris
-    eris --apt-install-tools
+    eris --install-all-tools
 
 Or install from source: (including tools)
 
@@ -38,7 +37,7 @@ Or install from source: (including tools)
 
 Then to run:
 
-    eris -h
+    eris
     eris-webserver <project>  # Or a simple web interface.
 
 ## Tools