search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Version Apache configuration files #131

Closed Zimmi48 closed 1 year ago

Zimmi48 commented 5 years ago

Right now, configuration files are located in /etc/apache2 on the Coq VPS. These files are not versioned (which is already in itself pretty annoying). Ideally, we would version them within the same repository as the rest of the website's sources (here) and have the script that synchronize the website push them at the right location.

BTW, something else that should be versioned is the above mentioned synchronization script.

Zimmi48 commented 4 years ago

Currently, the main configuration file is /etc/apache2/sites-available/000-coq.inria.fr.conf. It is currently the one which contains the ProxyPass rules for the documentation. It includes another file /etc/apache2/main.conf, and this one includes /etc/apache2/aliases.conf which is essentially a copy of aliases.footer.conf in this repository (cf. #132). It seems to me that we should be able to simplify most of this by merging some of these files and versioning most of them. Having the ProxyPass rules in a versioned file would allow any RM to change the location of the "current" refman instead of having to rely on someone with access to the web server for this.

Zimmi48 commented 1 year ago

This is no longer relevant since the migration to GitHub Pages.