Skip to content
Snippets Groups Projects
  1. Jul 20, 2024
    • Jan Alexander Steffens (heftig)'s avatar
      dbscripts: Enable proxy_cache_background_update for mirrorauth · d60d82ed
      Jan Alexander Steffens (heftig) authored
      This allows serving a stale response even to the request that triggers
      an update. This should ensure all requests finish quickly.
      
      With just `proxy_cache_use_stale updating`, the request that attempts to
      update the cache waits for the response, while all other requests get to
      use the stale response.
      
      Currently archweb is badly overloaded and can take over half a minute to
      respond. Pacman is not that patient and fails the download.
      d60d82ed
  2. Jun 02, 2024
  3. May 22, 2023
  4. Mar 19, 2022
    • Evangelos Foutras's avatar
      dbscripts: nginx: remove unnecessary unique filter · 5a6a085e
      Evangelos Foutras authored
      The intention of "unique" in "groups['buildservers'] | sort | unique"
      was to account for combining multiple groups and passing them to the
      sort and unique filters. However, with only one group it looks silly.
      Verified
      5a6a085e
    • Evangelos Foutras's avatar
      common: use tier0 mirror on build servers + gemini · b3256827
      Evangelos Foutras authored
      There is a need for build servers to never build against outdated repo
      databases, even with syncrepo providing a local mirror that is updated
      every minute. To that effect, we adjust mirrorlist on build servers so
      the first mirror is the tier0 mirror provided by gemini.
      
      Keep the syncrepo role on build servers in order to have a local cache
      of packages and avoid concurrent build jobs downloading the same files
      causing them to be corrupted.
      
      Finally, configure gemini to use its own repos (like other mirrors do).
      Verified
      b3256827
  5. Oct 03, 2021
  6. Jun 04, 2021
  7. Jun 03, 2021
  8. Apr 08, 2021
  9. Sep 05, 2019
  10. Jan 21, 2019
  11. Jul 05, 2018
  12. Oct 20, 2017
  13. Aug 22, 2017
  14. Apr 29, 2017
  15. Jan 03, 2017
  16. Jul 28, 2016
  17. Jul 27, 2016
  18. Jun 20, 2016
  19. Jun 15, 2016
Loading