diff options
| author | Christoph Berg | 2025-09-30 14:36:52 +0000 |
|---|---|---|
| committer | Christoph Berg | 2025-09-30 14:36:52 +0000 |
| commit | 163a76cd2f72d03a95caf754b66218dc989be6f1 (patch) | |
| tree | 4b243b5e25c44a2e6ce334b25e9fdc76e20fd14d /media/js | |
| parent | 1cc46750d5bdcee8b15f8be74490cc6790c3348d (diff) | |
download/linux: Bump recommended package to postgresql-18
This bumps the version from 17 to 18 and also splits the final "apt
install" call into a separate box since the heading only claims to
configure the repository.
We also replace "postgresql" by "postgresql-18" since users of our repo
will likely want to have control over which version is selected.
Diffstat (limited to 'media/js')
| -rw-r--r-- | media/js/download.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/media/js/download.js b/media/js/download.js index 8493ef06..60bc9f6e 100644 --- a/media/js/download.js +++ b/media/js/download.js @@ -27,6 +27,11 @@ function setupHandlers() { copyScript(this, 'script-box2'); }); } + if (document.getElementById("copy-btn3") && document.getElementById("script-box3")) { + document.getElementById('copy-btn3').addEventListener('click', function () { + copyScript(this, 'script-box3'); + }); + } } document.addEventListener("DOMContentLoaded", setupHandlers); |
