Commit Graph

9 Commits

Author SHA1 Message Date
f565d3c05b chore(mkdocs): upgrade material theme to 9.5.2, among other chores
The only chore committed here is small
config change for 9.4.x+. See the release notes for context.

See: https://squidfunk.github.io/mkdocs-material/changelog/#9.4.0
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
2023-12-16 17:07:01 +00:00
Andrei Jiroh Halili
137a9f99b7
Update Pipfile.lock for Python 3.12
Alongside some quick edits to the base config

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
2023-10-18 22:42:01 +08:00
Andrei Jiroh Halili
98f0263354
ci(builds.sr.ht): use site_url specific builds via env
Also did some fixes over at deploy-gmi script too

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
2023-10-07 11:23:56 +08:00
Andrei Jiroh Halili
1c3ec96822
build(lockfile): update Pipefile.lock
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
2023-10-07 00:44:53 +08:00
Andrei Jiroh Halili
34a2eb5ce4
ci(gitlab-ci): point CI image to nightly tag
Also generally fix some issues relating to build scripts on RTD and
some bloody CI hellscapes over at Pipfile.

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
2023-10-01 01:41:23 +08:00
Andrei Jiroh Halili
f4e605152a
ci(deps): add autolinks plugin to requirements file
Will be enabled soon on config

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
2023-09-30 01:25:19 +08:00
c98efaae59 chore(deps): add rss-plugin for blog feature even if unused
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
2023-09-25 09:31:14 +00:00
4ec9834718 chore(pipenv): use pipenv for setting up venvs
Also swapped commands too on Gitpod btw.

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
2023-09-24 16:17:38 +00:00
Andrei Jiroh Halili
553ffb13fc
chore(global): add Pipfile files for pipenv setup
Also in this commit involves some redirection hellscape
and config changes.

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
2023-09-12 20:58:11 +08:00