summaryrefslogtreecommitdiff
path: root/sql
AgeCommit message (Collapse)AuthorFilesLines
5 daysCleanup SQL filesYorhel5-282/+0
2022-07-26Fix recognizing the default (empty) locale as EnglishYorhel1-1/+1
This fixes selecting the right man page for 'mount', which would otherwise grab a version from an old distro that happened to have it with an explicit 'en' locale.
2021-12-16Correctly handle a few more mis-identified localesYorhel1-0/+8
2021-12-14Large-ish SQL schema revamp/optimizationsYorhel2-33/+162
Primarily aimed at reducing the size of the old 'man' (now: files) table, using smaller integers to refer to man contents and text fields, and storing a shorthash as an integer for quick lookups. This better normalization also removes the need to keep a separate 'man_index' cache for the search function. The old schema wasn't necessarily bad, but I was in the mood for some optimizations. And a little cleanup. Prolly introduces a bunch of new bugs, I haven't tested this too well.
2021-12-13Recognize .zst-compressed man pages + fix SQL basename_from_filename() to ↵Yorhel1-16/+5
recognize .xz Also greatly simplified basename_from_filename() because apparently I couldn't write regexes back then. (And the removed REFERENCES line is to sync schema.sql with the actual state of the DB, which doesn't have that constraint for some reason. I'll prolly fix that later)
2021-12-13Arch: Mark deleted packages as dead and hide them from listingsYorhel2-1/+11
We've got a lot of packages in the DB that have long been removed from the Arch repos. These are still indexed, but won't clutter the package listing anymore. Also fixed an issue with packages.id numbers getting rather large because the indexer allocates a new ID for every package on every update.
2021-12-13churn: Remove systems.relorder column + misc cleanupYorhel9-328/+61
2021-12-11Index available Alpine Linux repositoriesYorhel1-2/+18
2021-12-11Add CentOS 8.5Yorhel1-1/+2
It's still supported? I thought they dropped it early in favor of CentOS Stream or something.
2021-10-17Add Ubuntu 21.10Yorhel1-1/+2
2021-09-15CentOS 8.4Yorhel1-1/+2
2021-08-17Some repo updates + Debian bookwormYorhel1-2/+3
2021-06-10Add Debian testing + prefer that instead of UbuntuYorhel1-5/+6
2021-04-29Add Fedora 34Yorhel1-1/+2
2021-04-23Add Ubuntu 21.04 + stop syncing a few old distrosYorhel1-1/+2
2021-04-17Add FreeBSD 12.2 & 13.0Yorhel1-1/+3
2021-04-17Add CentOS 7.9 & 8.3Yorhel1-1/+3
Just lazy maintenance. I need to figure out what to do with CentOS now that they've switched to a different release model.
2020-10-28Add Fedora 33Yorhel1-1/+2
Had to switch to a different mirror as the previous one hadn't synced yet.
2020-10-23Add Ubuntu 20.10Yorhel1-1/+2
2020-10-14Add FreeBSD 11.4Yorhel1-1/+2
2020-10-14Add Fedora 32Yorhel1-1/+2
2020-10-14Add CentOS 8.2Yorhel1-1/+2
2020-10-14Add CentOS 7.7Yorhel1-1/+2
2020-04-23Add Ubuntu 20.04Yorhel1-1/+2
2020-03-15Add FreeBSD 12.1Yorhel1-1/+2
2020-03-14Add Fedora 31Yorhel1-1/+2
2020-03-14Add CentOS 8.1Yorhel1-1/+2
2019-10-22Add CentOS 8.0Yorhel1-1/+2
2019-10-22Add CentOS 7.7Yorhel1-1/+2
2019-10-22Add Ubuntu 19.10Yorhel1-1/+2
2019-07-20Add FreeBSD 11.3Yorhel1-1/+2
2019-07-20Add Fedora 30Yorhel1-1/+2
2019-07-19Add Debian BusterYorhel1-1/+2
2019-04-18Add Ubuntu 19.04Yorhel1-1/+2
2019-03-27Add FreeBSD 12.0Yorhel1-1/+2
2018-12-04Add CentOS 7.6Yorhel1-1/+2
2018-11-01Add Fedora 29Yorhel1-1/+2
2018-10-21Add Ubuntu 18.10Yorhel1-1/+2
2018-07-06Add CentOS 6.10 and FreeBSD 11.2Yorhel1-6/+8
2018-06-02Add CentOS 7.5 + Fix Fedora 28 updates repoYorhel1-1/+2
2018-05-01Add Ubuntu 18.04 + Fedora 28Yorhel1-1/+3
2018-01-21Add CentOSYorhel1-1/+47
2018-01-15Add FreeBSD 10.4Yorhel1-3/+4
2017-11-16Add Fedora 27Yorhel1-1/+2
2017-10-20Stop syncing Fedora 24; Add FreeBSD 11.1 and Ubuntu 17.10Yorhel1-1/+3
2017-07-22Add Fedora 26 + stop syncing old UbuntuYorhel1-1/+2
2017-06-23Add Debian StretchYorhel1-1/+2
2017-04-14Add Ubuntu 17.04Yorhel1-1/+2
2017-01-21Add Fedora 1 - 25Yorhel1-1/+26
2016-12-18Dont index ELF binaries + remove some non-man-pagesYorhel1-0/+26
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 13:27:02 +0000