Latest commit

History

144 Commits

Folders and files

NameName
Last commit message
Last commit date

Repository files navigation

devconsole-registry

Registry des versions pour DevConsole.

Ce dépôt contient le fichier versions.json qui liste les versions disponibles de chaque outil (Node.js, PHP, MySQL, MariaDB, Caddy, Python, Git) avec les URLs de téléchargement et les SHA256.

Utilisation

DevConsole fetch ce fichier depuis https://raw.githubusercontent.com/Paul75/devconsole-registry/main/versions.json au démarrage. Si le réseau est absent, le fallback embarqué dans l'application est utilisé.

Structure

{
"tools": {
"<tool>": {
"versions": {
"<version>": {
"url": "<download_url>",
"sha256": "<optional_sha256>",
"binaries": ["<binary_paths>"]
}
}
}
}
}

Ajouter une version

  1. Ajouter l'entrée dans versions.json (manuellement, ou via le script ci-dessous)
  2. Publier le binaire dans une Release GitHub si besoin (PHP, Git Linux…)
  3. Committer et pusher sur main

Détecter / mettre à jour les versions

Le script scripts/check-versions.py interroge les sources upstream et propose les bumps pour versions.json.

Outils supportés

node, bun, caddy, mailpit, composer, zed, vscodium, tabby, go, php, git

OutilSourceComportement
nodenodejs.org/dist/index.json + SHASUMSremplace la version de chaque ligne majeure déjà présente
gogo.dev/dl/?mode=jsonajoute la nouvelle version (sha depuis l’API)
php, gittags GitHub (php/php-src, git/git)detect-only : signale la nouvelle version, le binaire étant produit par un build local/CI
autresGitHub Releases latestajoute la nouvelle version (URL dérivée du template existant)

php et git ne dérivent pas d’URL : leur binaire Linux est buildé localement (ou en CI). Une fois la release publiée, scripts/update-builds.sh intègre l’entrée dans versions.json (url + sha256 calculés sur l’artefact).

Commandes

# Rapport seul (aucune écriture)
scripts/check-versions.py
# Sous-ensemble d'outils
scripts/check-versions.py --tool node,bun
# Sortie machine
scripts/check-versions.py --json
# Appliquer les mises à jour dans versions.json
scripts/check-versions.py --write
# Idem + calcul des sha256 par téléchargement (lent)# Utile hors node/go, qui récupèrent déjà les checksums officiels
scripts/check-versions.py --write --sha
# Remplir les sha256 manquants (null/vides) des versions déjà présentes# Indépendant des checkers : pas besoin de vérifier les nouveautés
scripts/check-versions.py --fill-sha
scripts/check-versions.py --fill-sha --write # applique l'écriture# Ajouter manuellement une version (entry JSON sur stdin) — usage interneecho'{"url": "…", "sha256": "…"}'| scripts/check-versions.py --add php@8.5.10

Sans --sha, les outils GitHub mettent sha256 / sha256_windows à null. Pour combler les hashes manquants d’entrées déjà présentes (y compris celles ajoutées sans --sha), relancer avec --fill-sha : il télécharge chaque URL sans hash et remplit sha256 / sha256_windows. Il respecte --tool et couvre aussi les outils sans checker (mysql, wezterm, …).

Astuce rate-limit GitHub : exporter GITHUB_TOKEN (ou être authentifié via gh auth login).

Après --write, vérifier le diff, puis committer et pusher sur main.

Mettre à jour PHP / Git (build local)

scripts/update-builds.sh automatise le cycle complet : détection → build → release GitHub → mise à jour de versions.json avec les sha256 calculés sur les artefacts publiés.

# php + git (build local via release-*.sh)
scripts/update-builds.sh
# Build via GitHub Actions (runner self-hosté actions-runner/ de ce dépôt)
scripts/update-builds.sh --ci
# Seulement php
scripts/update-builds.sh --tool php
# Release déjà publiée (rebuild manuel) : ne met à jour que versions.json
scripts/update-builds.sh --no-build
  • php : construit le dernier patch de la branche mineure détectée (release-php.sh <minor> ou build-php.yml), l’URL Windows est cherchée sur windows.php.net.
  • git : construit la version détectée (release-git.sh <version> ou build-git.yml), l’URL Windows pointe sur la dernière build MinGit de git-for-windows.
  • Les binaries / lts de l’entrée précédente sont conservés.

Avec --ci, le runner self-hosté de ce dépôt (actions-runner/) doit être en ligne (./run.sh) : il est enregistré sur Paul75/devconsole-registry mais n'est pas installé comme service systemd, il faut le lancer à la main.

Build PHP

Les binaires PHP sont buildés avec static-php-cli via GitHub Actions.

Déclencher un build

Aller dans Actions → Build PHP → Run workflow, saisir la version mineure (e.g. 8.4).

Le workflow:

  1. Télécharge spc (le CLI de static-php-cli)
  2. Compile PHP avec les extensions listées dans craft.yml
  3. Crée un archive .tar.gz contenant bin/php, sbin/php-fpm, bin/php-cgi
  4. Publie une GitHub Release avec l'archive

Build en local

# Prérequis: autoconf, automake, libtool, cmake, make, gcc, g++, pkg-config,# re2c, bison, libxml2-dev, libsqlite3-dev, libcurl4-openssl-dev,# libreadline-dev, libzip-dev, libonig-dev, libssl-dev
curl -fsSL -o spc https://dl.static-php.dev/v3/spc-bin/nightly/spc-linux-x86_64
chmod +x spc
./spc craft craft.yml

Les binaires buildés se trouvent dans buildroot/bin/php et buildroot/sbin/php-fpm.

URL des Releases

Une fois le build terminé, l'URL de téléchargement pour versions.json est:

https://github.com/Paul75/devconsole-registry/releases/download/php-{version}/php-{version}-fpm-linux-x86_64.tar.gz

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages

, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Add copy buttons to all
 blocks\n(function() {\n function addCopyButtons() {\n document.querySelectorAll('pre code').forEach(function(codeBlock) {\n if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;\n codeBlock.parentElement.setAttribute('data-copy-added', 'true');\n \n var btn = document.createElement('button');\n btn.textContent = 'Copy';\n btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';\n btn.onmouseover = function() { this.style.opacity = '1'; };\n btn.onmouseout = function() { this.style.opacity = '0.7'; };\n btn.onclick = function() {\n navigator.clipboard.writeText(codeBlock.textContent).then(function() {\n btn.textContent = 'Copied!';\n setTimeout(function() { btn.textContent = 'Copy'; }, 1500);\n });\n };\n codeBlock.parentElement.style.position = 'relative';\n codeBlock.parentElement.appendChild(btn);\n });\n }\n \n addCopyButtons();\n \n // Re-run on dynamic content\n var observer = new MutationObserver(addCopyButtons);\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Add Copy Buttons to Code Blocks");
}
} catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); }
})();
(function(){
try {
var __m = "github.com";
var __re = new RegExp('^' + "github\\.com" + '
Skip to content

Latest commit

History

144 Commits

Folders and files

NameName
Last commit message
Last commit date

Repository files navigation

devconsole-registry

Registry des versions pour DevConsole.

Ce dépôt contient le fichier versions.json qui liste les versions disponibles de chaque outil (Node.js, PHP, MySQL, MariaDB, Caddy, Python, Git) avec les URLs de téléchargement et les SHA256.

Utilisation

DevConsole fetch ce fichier depuis https://raw.githubusercontent.com/Paul75/devconsole-registry/main/versions.json au démarrage. Si le réseau est absent, le fallback embarqué dans l'application est utilisé.

Structure

{
"tools": {
"<tool>": {
"versions": {
"<version>": {
"url": "<download_url>",
"sha256": "<optional_sha256>",
"binaries": ["<binary_paths>"]
}
}
}
}
}

Ajouter une version

  1. Ajouter l'entrée dans versions.json (manuellement, ou via le script ci-dessous)
  2. Publier le binaire dans une Release GitHub si besoin (PHP, Git Linux…)
  3. Committer et pusher sur main

Détecter / mettre à jour les versions

Le script scripts/check-versions.py interroge les sources upstream et propose les bumps pour versions.json.

Outils supportés

node, bun, caddy, mailpit, composer, zed, vscodium, tabby, go, php, git

OutilSourceComportement
nodenodejs.org/dist/index.json + SHASUMSremplace la version de chaque ligne majeure déjà présente
gogo.dev/dl/?mode=jsonajoute la nouvelle version (sha depuis l’API)
php, gittags GitHub (php/php-src, git/git)detect-only : signale la nouvelle version, le binaire étant produit par un build local/CI
autresGitHub Releases latestajoute la nouvelle version (URL dérivée du template existant)

php et git ne dérivent pas d’URL : leur binaire Linux est buildé localement (ou en CI). Une fois la release publiée, scripts/update-builds.sh intègre l’entrée dans versions.json (url + sha256 calculés sur l’artefact).

Commandes

# Rapport seul (aucune écriture)
scripts/check-versions.py
# Sous-ensemble d'outils
scripts/check-versions.py --tool node,bun
# Sortie machine
scripts/check-versions.py --json
# Appliquer les mises à jour dans versions.json
scripts/check-versions.py --write
# Idem + calcul des sha256 par téléchargement (lent)# Utile hors node/go, qui récupèrent déjà les checksums officiels
scripts/check-versions.py --write --sha
# Remplir les sha256 manquants (null/vides) des versions déjà présentes# Indépendant des checkers : pas besoin de vérifier les nouveautés
scripts/check-versions.py --fill-sha
scripts/check-versions.py --fill-sha --write # applique l'écriture# Ajouter manuellement une version (entry JSON sur stdin) — usage interneecho'{"url": "…", "sha256": "…"}'| scripts/check-versions.py --add php@8.5.10

Sans --sha, les outils GitHub mettent sha256 / sha256_windows à null. Pour combler les hashes manquants d’entrées déjà présentes (y compris celles ajoutées sans --sha), relancer avec --fill-sha : il télécharge chaque URL sans hash et remplit sha256 / sha256_windows. Il respecte --tool et couvre aussi les outils sans checker (mysql, wezterm, …).

Astuce rate-limit GitHub : exporter GITHUB_TOKEN (ou être authentifié via gh auth login).

Après --write, vérifier le diff, puis committer et pusher sur main.

Mettre à jour PHP / Git (build local)

scripts/update-builds.sh automatise le cycle complet : détection → build → release GitHub → mise à jour de versions.json avec les sha256 calculés sur les artefacts publiés.

# php + git (build local via release-*.sh)
scripts/update-builds.sh
# Build via GitHub Actions (runner self-hosté actions-runner/ de ce dépôt)
scripts/update-builds.sh --ci
# Seulement php
scripts/update-builds.sh --tool php
# Release déjà publiée (rebuild manuel) : ne met à jour que versions.json
scripts/update-builds.sh --no-build
  • php : construit le dernier patch de la branche mineure détectée (release-php.sh <minor> ou build-php.yml), l’URL Windows est cherchée sur windows.php.net.
  • git : construit la version détectée (release-git.sh <version> ou build-git.yml), l’URL Windows pointe sur la dernière build MinGit de git-for-windows.
  • Les binaries / lts de l’entrée précédente sont conservés.

Avec --ci, le runner self-hosté de ce dépôt (actions-runner/) doit être en ligne (./run.sh) : il est enregistré sur Paul75/devconsole-registry mais n'est pas installé comme service systemd, il faut le lancer à la main.

Build PHP

Les binaires PHP sont buildés avec static-php-cli via GitHub Actions.

Déclencher un build

Aller dans Actions → Build PHP → Run workflow, saisir la version mineure (e.g. 8.4).

Le workflow:

  1. Télécharge spc (le CLI de static-php-cli)
  2. Compile PHP avec les extensions listées dans craft.yml
  3. Crée un archive .tar.gz contenant bin/php, sbin/php-fpm, bin/php-cgi
  4. Publie une GitHub Release avec l'archive

Build en local

# Prérequis: autoconf, automake, libtool, cmake, make, gcc, g++, pkg-config,# re2c, bison, libxml2-dev, libsqlite3-dev, libcurl4-openssl-dev,# libreadline-dev, libzip-dev, libonig-dev, libssl-dev
curl -fsSL -o spc https://dl.static-php.dev/v3/spc-bin/nightly/spc-linux-x86_64
chmod +x spc
./spc craft craft.yml

Les binaires buildés se trouvent dans buildroot/bin/php et buildroot/sbin/php-fpm.

URL des Releases

Une fois le build terminé, l'URL de téléchargement pour versions.json est:

https://github.com/Paul75/devconsole-registry/releases/download/php-{version}/php-{version}-fpm-linux-x86_64.tar.gz

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages

, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Force GitHub README to respect dark mode\n(function() {\n var style = document.createElement('style');\n style.textContent = '\n .markdown-body {\n color-scheme: dark light;\n }\n .markdown-body pre { background: #161b22 !important; }\n .markdown-body code { background: rgba(110, 118, 129, 0.4) !important; }\n .markdown-body table th, .markdown-body table td { border-color: #30363d !important; }\n .markdown-body img { background: #0d1117; }\n .markdown-body blockquote { border-left-color: #8b949e; }\n .markdown-body hr { border-color: #30363d; }\n ';\n document.head.appendChild(style);\n})();", "GitHub Dark Mode README Fix"); } } catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

Latest commit

History

144 Commits

Folders and files

NameName
Last commit message
Last commit date

Repository files navigation

devconsole-registry

Registry des versions pour DevConsole.

Ce dépôt contient le fichier versions.json qui liste les versions disponibles de chaque outil (Node.js, PHP, MySQL, MariaDB, Caddy, Python, Git) avec les URLs de téléchargement et les SHA256.

Utilisation

DevConsole fetch ce fichier depuis https://raw.githubusercontent.com/Paul75/devconsole-registry/main/versions.json au démarrage. Si le réseau est absent, le fallback embarqué dans l'application est utilisé.

Structure

{
"tools": {
"<tool>": {
"versions": {
"<version>": {
"url": "<download_url>",
"sha256": "<optional_sha256>",
"binaries": ["<binary_paths>"]
}
}
}
}
}

Ajouter une version

  1. Ajouter l'entrée dans versions.json (manuellement, ou via le script ci-dessous)
  2. Publier le binaire dans une Release GitHub si besoin (PHP, Git Linux…)
  3. Committer et pusher sur main

Détecter / mettre à jour les versions

Le script scripts/check-versions.py interroge les sources upstream et propose les bumps pour versions.json.

Outils supportés

node, bun, caddy, mailpit, composer, zed, vscodium, tabby, go, php, git

OutilSourceComportement
nodenodejs.org/dist/index.json + SHASUMSremplace la version de chaque ligne majeure déjà présente
gogo.dev/dl/?mode=jsonajoute la nouvelle version (sha depuis l’API)
php, gittags GitHub (php/php-src, git/git)detect-only : signale la nouvelle version, le binaire étant produit par un build local/CI
autresGitHub Releases latestajoute la nouvelle version (URL dérivée du template existant)

php et git ne dérivent pas d’URL : leur binaire Linux est buildé localement (ou en CI). Une fois la release publiée, scripts/update-builds.sh intègre l’entrée dans versions.json (url + sha256 calculés sur l’artefact).

Commandes

# Rapport seul (aucune écriture)
scripts/check-versions.py
# Sous-ensemble d'outils
scripts/check-versions.py --tool node,bun
# Sortie machine
scripts/check-versions.py --json
# Appliquer les mises à jour dans versions.json
scripts/check-versions.py --write
# Idem + calcul des sha256 par téléchargement (lent)# Utile hors node/go, qui récupèrent déjà les checksums officiels
scripts/check-versions.py --write --sha
# Remplir les sha256 manquants (null/vides) des versions déjà présentes# Indépendant des checkers : pas besoin de vérifier les nouveautés
scripts/check-versions.py --fill-sha
scripts/check-versions.py --fill-sha --write # applique l'écriture# Ajouter manuellement une version (entry JSON sur stdin) — usage interneecho'{"url": "…", "sha256": "…"}'| scripts/check-versions.py --add php@8.5.10

Sans --sha, les outils GitHub mettent sha256 / sha256_windows à null. Pour combler les hashes manquants d’entrées déjà présentes (y compris celles ajoutées sans --sha), relancer avec --fill-sha : il télécharge chaque URL sans hash et remplit sha256 / sha256_windows. Il respecte --tool et couvre aussi les outils sans checker (mysql, wezterm, …).

Astuce rate-limit GitHub : exporter GITHUB_TOKEN (ou être authentifié via gh auth login).

Après --write, vérifier le diff, puis committer et pusher sur main.

Mettre à jour PHP / Git (build local)

scripts/update-builds.sh automatise le cycle complet : détection → build → release GitHub → mise à jour de versions.json avec les sha256 calculés sur les artefacts publiés.

# php + git (build local via release-*.sh)
scripts/update-builds.sh
# Build via GitHub Actions (runner self-hosté actions-runner/ de ce dépôt)
scripts/update-builds.sh --ci
# Seulement php
scripts/update-builds.sh --tool php
# Release déjà publiée (rebuild manuel) : ne met à jour que versions.json
scripts/update-builds.sh --no-build
  • php : construit le dernier patch de la branche mineure détectée (release-php.sh <minor> ou build-php.yml), l’URL Windows est cherchée sur windows.php.net.
  • git : construit la version détectée (release-git.sh <version> ou build-git.yml), l’URL Windows pointe sur la dernière build MinGit de git-for-windows.
  • Les binaries / lts de l’entrée précédente sont conservés.

Avec --ci, le runner self-hosté de ce dépôt (actions-runner/) doit être en ligne (./run.sh) : il est enregistré sur Paul75/devconsole-registry mais n'est pas installé comme service systemd, il faut le lancer à la main.

Build PHP

Les binaires PHP sont buildés avec static-php-cli via GitHub Actions.

Déclencher un build

Aller dans Actions → Build PHP → Run workflow, saisir la version mineure (e.g. 8.4).

Le workflow:

  1. Télécharge spc (le CLI de static-php-cli)
  2. Compile PHP avec les extensions listées dans craft.yml
  3. Crée un archive .tar.gz contenant bin/php, sbin/php-fpm, bin/php-cgi
  4. Publie une GitHub Release avec l'archive

Build en local

# Prérequis: autoconf, automake, libtool, cmake, make, gcc, g++, pkg-config,# re2c, bison, libxml2-dev, libsqlite3-dev, libcurl4-openssl-dev,# libreadline-dev, libzip-dev, libonig-dev, libssl-dev
curl -fsSL -o spc https://dl.static-php.dev/v3/spc-bin/nightly/spc-linux-x86_64
chmod +x spc
./spc craft craft.yml

Les binaires buildés se trouvent dans buildroot/bin/php et buildroot/sbin/php-fpm.

URL des Releases

Une fois le build terminé, l'URL de téléchargement pour versions.json est:

https://github.com/Paul75/devconsole-registry/releases/download/php-{version}/php-{version}-fpm-linux-x86_64.tar.gz

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages

, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Highlight search terms from Google/DuckDuckGo/Bing referrer\n(function() {\n var ref = document.referrer;\n var terms = [];\n \n if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) {\n var url = new URL(ref);\n var q = url.searchParams.get('q') || url.searchParams.get('p');\n if (q) {\n terms = q.split(/\\s+/).filter(function(t) { return t.length > 2; });\n }\n }\n \n if (terms.length === 0) return;\n \n var style = document.createElement('style');\n style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }';\n document.head.appendChild(style);\n \n function highlight(node) {\n if (node.nodeType === 3) { // text node\n var text = node.textContent;\n var found = false;\n terms.forEach(function(term) {\n var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\\]\\\\]/g, '\\\\') + ')', 'gi');\n if (regex.test(text)) {\n found = true;\n var frag = document.createDocumentFragment();\n var parts = text.split(regex);\n parts.forEach(function(part, i) {\n if (i % 2 === 0) {\n frag.appendChild(document.createTextNode(part));\n } else {\n var span = document.createElement('span');\n span.className = 'userscript-highlight';\n span.textContent = part;\n frag.appendChild(span);\n }\n });\n node.parentNode.replaceChild(frag, node);\n }\n });\n } else if (node.nodeType === 1 && node.childNodes) { // element\n var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT'];\n if (!skipTags.includes(node.tagName)) {\n Array.from(node.childNodes).forEach(highlight);\n }\n }\n }\n \n highlight(document.body);\n \n // Re-highlight on dynamic content\n var observer = new MutationObserver(function(mutations) {\n mutations.forEach(function(m) {\n m.addedNodes.forEach(function(node) {\n if (node.nodeType === 1 || node.nodeType === 3) highlight(node);\n });\n });\n });\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Highlight Search Terms"); } } catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

Latest commit

History

144 Commits

Folders and files

NameName
Last commit message
Last commit date

Repository files navigation

devconsole-registry

Registry des versions pour DevConsole.

Ce dépôt contient le fichier versions.json qui liste les versions disponibles de chaque outil (Node.js, PHP, MySQL, MariaDB, Caddy, Python, Git) avec les URLs de téléchargement et les SHA256.

Utilisation

DevConsole fetch ce fichier depuis https://raw.githubusercontent.com/Paul75/devconsole-registry/main/versions.json au démarrage. Si le réseau est absent, le fallback embarqué dans l'application est utilisé.

Structure

{
"tools": {
"<tool>": {
"versions": {
"<version>": {
"url": "<download_url>",
"sha256": "<optional_sha256>",
"binaries": ["<binary_paths>"]
}
}
}
}
}

Ajouter une version

  1. Ajouter l'entrée dans versions.json (manuellement, ou via le script ci-dessous)
  2. Publier le binaire dans une Release GitHub si besoin (PHP, Git Linux…)
  3. Committer et pusher sur main

Détecter / mettre à jour les versions

Le script scripts/check-versions.py interroge les sources upstream et propose les bumps pour versions.json.

Outils supportés

node, bun, caddy, mailpit, composer, zed, vscodium, tabby, go, php, git

OutilSourceComportement
nodenodejs.org/dist/index.json + SHASUMSremplace la version de chaque ligne majeure déjà présente
gogo.dev/dl/?mode=jsonajoute la nouvelle version (sha depuis l’API)
php, gittags GitHub (php/php-src, git/git)detect-only : signale la nouvelle version, le binaire étant produit par un build local/CI
autresGitHub Releases latestajoute la nouvelle version (URL dérivée du template existant)

php et git ne dérivent pas d’URL : leur binaire Linux est buildé localement (ou en CI). Une fois la release publiée, scripts/update-builds.sh intègre l’entrée dans versions.json (url + sha256 calculés sur l’artefact).

Commandes

# Rapport seul (aucune écriture)
scripts/check-versions.py
# Sous-ensemble d'outils
scripts/check-versions.py --tool node,bun
# Sortie machine
scripts/check-versions.py --json
# Appliquer les mises à jour dans versions.json
scripts/check-versions.py --write
# Idem + calcul des sha256 par téléchargement (lent)# Utile hors node/go, qui récupèrent déjà les checksums officiels
scripts/check-versions.py --write --sha
# Remplir les sha256 manquants (null/vides) des versions déjà présentes# Indépendant des checkers : pas besoin de vérifier les nouveautés
scripts/check-versions.py --fill-sha
scripts/check-versions.py --fill-sha --write # applique l'écriture# Ajouter manuellement une version (entry JSON sur stdin) — usage interneecho'{"url": "…", "sha256": "…"}'| scripts/check-versions.py --add php@8.5.10

Sans --sha, les outils GitHub mettent sha256 / sha256_windows à null. Pour combler les hashes manquants d’entrées déjà présentes (y compris celles ajoutées sans --sha), relancer avec --fill-sha : il télécharge chaque URL sans hash et remplit sha256 / sha256_windows. Il respecte --tool et couvre aussi les outils sans checker (mysql, wezterm, …).

Astuce rate-limit GitHub : exporter GITHUB_TOKEN (ou être authentifié via gh auth login).

Après --write, vérifier le diff, puis committer et pusher sur main.

Mettre à jour PHP / Git (build local)

scripts/update-builds.sh automatise le cycle complet : détection → build → release GitHub → mise à jour de versions.json avec les sha256 calculés sur les artefacts publiés.

# php + git (build local via release-*.sh)
scripts/update-builds.sh
# Build via GitHub Actions (runner self-hosté actions-runner/ de ce dépôt)
scripts/update-builds.sh --ci
# Seulement php
scripts/update-builds.sh --tool php
# Release déjà publiée (rebuild manuel) : ne met à jour que versions.json
scripts/update-builds.sh --no-build
  • php : construit le dernier patch de la branche mineure détectée (release-php.sh <minor> ou build-php.yml), l’URL Windows est cherchée sur windows.php.net.
  • git : construit la version détectée (release-git.sh <version> ou build-git.yml), l’URL Windows pointe sur la dernière build MinGit de git-for-windows.
  • Les binaries / lts de l’entrée précédente sont conservés.

Avec --ci, le runner self-hosté de ce dépôt (actions-runner/) doit être en ligne (./run.sh) : il est enregistré sur Paul75/devconsole-registry mais n'est pas installé comme service systemd, il faut le lancer à la main.

Build PHP

Les binaires PHP sont buildés avec static-php-cli via GitHub Actions.

Déclencher un build

Aller dans Actions → Build PHP → Run workflow, saisir la version mineure (e.g. 8.4).

Le workflow:

  1. Télécharge spc (le CLI de static-php-cli)
  2. Compile PHP avec les extensions listées dans craft.yml
  3. Crée un archive .tar.gz contenant bin/php, sbin/php-fpm, bin/php-cgi
  4. Publie une GitHub Release avec l'archive

Build en local

# Prérequis: autoconf, automake, libtool, cmake, make, gcc, g++, pkg-config,# re2c, bison, libxml2-dev, libsqlite3-dev, libcurl4-openssl-dev,# libreadline-dev, libzip-dev, libonig-dev, libssl-dev
curl -fsSL -o spc https://dl.static-php.dev/v3/spc-bin/nightly/spc-linux-x86_64
chmod +x spc
./spc craft craft.yml

Les binaires buildés se trouvent dans buildroot/bin/php et buildroot/sbin/php-fpm.

URL des Releases

Une fois le build terminé, l'URL de téléchargement pour versions.json est:

https://github.com/Paul75/devconsole-registry/releases/download/php-{version}/php-{version}-fpm-linux-x86_64.tar.gz

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages

, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Strip utm_, fbclid, gclid, etc. from all links on page\n(function() {\n var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content',\n 'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid',\n 'ref', 'ref_src', 'source', 'medium', 'campaign'];\n \n function cleanUrl(url) {\n try {\n var u = new URL(url, window.location.origin);\n var changed = false;\n trackingParams.forEach(function(p) {\n if (u.searchParams.has(p)) {\n u.searchParams.delete(p);\n changed = true;\n }\n });\n return changed ? u.toString() : url;\n } catch (e) {\n return url;\n }\n }\n \n function cleanLinks() {\n document.querySelectorAll('a[href]').forEach(function(a) {\n var clean = cleanUrl(a.href);\n if (clean !== a.href) a.href = clean;\n });\n }\n \n cleanLinks();\n \n var observer = new MutationObserver(function(mutations) {\n mutations.forEach(function(m) {\n m.addedNodes.forEach(function(node) {\n if (node.nodeType === 1) {\n if (node.tagName === 'A') cleanLinks();\n node.querySelectorAll('a[href]').forEach(function(a) {\n var clean = cleanUrl(a.href);\n if (clean !== a.href) a.href = clean;\n });\n }\n });\n });\n });\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Remove Tracking Parameters from Links"); } } catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); } })(); (function(){ try { var __m = "youtube.com"; var __re = new RegExp('^' + "youtube\\.com" + '
Skip to content

Latest commit

History

144 Commits

Folders and files

NameName
Last commit message
Last commit date

Repository files navigation

devconsole-registry

Registry des versions pour DevConsole.

Ce dépôt contient le fichier versions.json qui liste les versions disponibles de chaque outil (Node.js, PHP, MySQL, MariaDB, Caddy, Python, Git) avec les URLs de téléchargement et les SHA256.

Utilisation

DevConsole fetch ce fichier depuis https://raw.githubusercontent.com/Paul75/devconsole-registry/main/versions.json au démarrage. Si le réseau est absent, le fallback embarqué dans l'application est utilisé.

Structure

{
"tools": {
"<tool>": {
"versions": {
"<version>": {
"url": "<download_url>",
"sha256": "<optional_sha256>",
"binaries": ["<binary_paths>"]
}
}
}
}
}

Ajouter une version

  1. Ajouter l'entrée dans versions.json (manuellement, ou via le script ci-dessous)
  2. Publier le binaire dans une Release GitHub si besoin (PHP, Git Linux…)
  3. Committer et pusher sur main

Détecter / mettre à jour les versions

Le script scripts/check-versions.py interroge les sources upstream et propose les bumps pour versions.json.

Outils supportés

node, bun, caddy, mailpit, composer, zed, vscodium, tabby, go, php, git

OutilSourceComportement
nodenodejs.org/dist/index.json + SHASUMSremplace la version de chaque ligne majeure déjà présente
gogo.dev/dl/?mode=jsonajoute la nouvelle version (sha depuis l’API)
php, gittags GitHub (php/php-src, git/git)detect-only : signale la nouvelle version, le binaire étant produit par un build local/CI
autresGitHub Releases latestajoute la nouvelle version (URL dérivée du template existant)

php et git ne dérivent pas d’URL : leur binaire Linux est buildé localement (ou en CI). Une fois la release publiée, scripts/update-builds.sh intègre l’entrée dans versions.json (url + sha256 calculés sur l’artefact).

Commandes

# Rapport seul (aucune écriture)
scripts/check-versions.py
# Sous-ensemble d'outils
scripts/check-versions.py --tool node,bun
# Sortie machine
scripts/check-versions.py --json
# Appliquer les mises à jour dans versions.json
scripts/check-versions.py --write
# Idem + calcul des sha256 par téléchargement (lent)# Utile hors node/go, qui récupèrent déjà les checksums officiels
scripts/check-versions.py --write --sha
# Remplir les sha256 manquants (null/vides) des versions déjà présentes# Indépendant des checkers : pas besoin de vérifier les nouveautés
scripts/check-versions.py --fill-sha
scripts/check-versions.py --fill-sha --write # applique l'écriture# Ajouter manuellement une version (entry JSON sur stdin) — usage interneecho'{"url": "…", "sha256": "…"}'| scripts/check-versions.py --add php@8.5.10

Sans --sha, les outils GitHub mettent sha256 / sha256_windows à null. Pour combler les hashes manquants d’entrées déjà présentes (y compris celles ajoutées sans --sha), relancer avec --fill-sha : il télécharge chaque URL sans hash et remplit sha256 / sha256_windows. Il respecte --tool et couvre aussi les outils sans checker (mysql, wezterm, …).

Astuce rate-limit GitHub : exporter GITHUB_TOKEN (ou être authentifié via gh auth login).

Après --write, vérifier le diff, puis committer et pusher sur main.

Mettre à jour PHP / Git (build local)

scripts/update-builds.sh automatise le cycle complet : détection → build → release GitHub → mise à jour de versions.json avec les sha256 calculés sur les artefacts publiés.

# php + git (build local via release-*.sh)
scripts/update-builds.sh
# Build via GitHub Actions (runner self-hosté actions-runner/ de ce dépôt)
scripts/update-builds.sh --ci
# Seulement php
scripts/update-builds.sh --tool php
# Release déjà publiée (rebuild manuel) : ne met à jour que versions.json
scripts/update-builds.sh --no-build
  • php : construit le dernier patch de la branche mineure détectée (release-php.sh <minor> ou build-php.yml), l’URL Windows est cherchée sur windows.php.net.
  • git : construit la version détectée (release-git.sh <version> ou build-git.yml), l’URL Windows pointe sur la dernière build MinGit de git-for-windows.
  • Les binaries / lts de l’entrée précédente sont conservés.

Avec --ci, le runner self-hosté de ce dépôt (actions-runner/) doit être en ligne (./run.sh) : il est enregistré sur Paul75/devconsole-registry mais n'est pas installé comme service systemd, il faut le lancer à la main.

Build PHP

Les binaires PHP sont buildés avec static-php-cli via GitHub Actions.

Déclencher un build

Aller dans Actions → Build PHP → Run workflow, saisir la version mineure (e.g. 8.4).

Le workflow:

  1. Télécharge spc (le CLI de static-php-cli)
  2. Compile PHP avec les extensions listées dans craft.yml
  3. Crée un archive .tar.gz contenant bin/php, sbin/php-fpm, bin/php-cgi
  4. Publie une GitHub Release avec l'archive

Build en local

# Prérequis: autoconf, automake, libtool, cmake, make, gcc, g++, pkg-config,# re2c, bison, libxml2-dev, libsqlite3-dev, libcurl4-openssl-dev,# libreadline-dev, libzip-dev, libonig-dev, libssl-dev
curl -fsSL -o spc https://dl.static-php.dev/v3/spc-bin/nightly/spc-linux-x86_64
chmod +x spc
./spc craft craft.yml

Les binaires buildés se trouvent dans buildroot/bin/php et buildroot/sbin/php-fpm.

URL des Releases

Une fois le build terminé, l'URL de téléchargement pour versions.json est:

https://github.com/Paul75/devconsole-registry/releases/download/php-{version}/php-{version}-fpm-linux-x86_64.tar.gz

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages

, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Auto-enable theater mode on YouTube\n(function() {\n function tryTheater() {\n var btn = document.querySelector('button[aria-label=\"Theater mode\"], ytd-player #player button[title=\"Theater mode\"]');\n if (btn && !btn.classList.contains('activated')) {\n btn.click();\n }\n }\n \n // Try immediately\n tryTheater();\n \n // Try after navigation (SPA)\n var lastUrl = location.href;\n setInterval(function() {\n if (location.href !== lastUrl) {\n lastUrl = location.href;\n setTimeout(tryTheater, 500);\n }\n }, 1000);\n \n // Also try on player load\n var observer = new MutationObserver(tryTheater);\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "YouTube Theater Mode Default"); } } catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

Latest commit

History

144 Commits

Folders and files

NameName
Last commit message
Last commit date

Repository files navigation

devconsole-registry

Registry des versions pour DevConsole.

Ce dépôt contient le fichier versions.json qui liste les versions disponibles de chaque outil (Node.js, PHP, MySQL, MariaDB, Caddy, Python, Git) avec les URLs de téléchargement et les SHA256.

Utilisation

DevConsole fetch ce fichier depuis https://raw.githubusercontent.com/Paul75/devconsole-registry/main/versions.json au démarrage. Si le réseau est absent, le fallback embarqué dans l'application est utilisé.

Structure

{
"tools": {
"<tool>": {
"versions": {
"<version>": {
"url": "<download_url>",
"sha256": "<optional_sha256>",
"binaries": ["<binary_paths>"]
}
}
}
}
}

Ajouter une version

  1. Ajouter l'entrée dans versions.json (manuellement, ou via le script ci-dessous)
  2. Publier le binaire dans une Release GitHub si besoin (PHP, Git Linux…)
  3. Committer et pusher sur main

Détecter / mettre à jour les versions

Le script scripts/check-versions.py interroge les sources upstream et propose les bumps pour versions.json.

Outils supportés

node, bun, caddy, mailpit, composer, zed, vscodium, tabby, go, php, git

OutilSourceComportement
nodenodejs.org/dist/index.json + SHASUMSremplace la version de chaque ligne majeure déjà présente
gogo.dev/dl/?mode=jsonajoute la nouvelle version (sha depuis l’API)
php, gittags GitHub (php/php-src, git/git)detect-only : signale la nouvelle version, le binaire étant produit par un build local/CI
autresGitHub Releases latestajoute la nouvelle version (URL dérivée du template existant)

php et git ne dérivent pas d’URL : leur binaire Linux est buildé localement (ou en CI). Une fois la release publiée, scripts/update-builds.sh intègre l’entrée dans versions.json (url + sha256 calculés sur l’artefact).

Commandes

# Rapport seul (aucune écriture)
scripts/check-versions.py
# Sous-ensemble d'outils
scripts/check-versions.py --tool node,bun
# Sortie machine
scripts/check-versions.py --json
# Appliquer les mises à jour dans versions.json
scripts/check-versions.py --write
# Idem + calcul des sha256 par téléchargement (lent)# Utile hors node/go, qui récupèrent déjà les checksums officiels
scripts/check-versions.py --write --sha
# Remplir les sha256 manquants (null/vides) des versions déjà présentes# Indépendant des checkers : pas besoin de vérifier les nouveautés
scripts/check-versions.py --fill-sha
scripts/check-versions.py --fill-sha --write # applique l'écriture# Ajouter manuellement une version (entry JSON sur stdin) — usage interneecho'{"url": "…", "sha256": "…"}'| scripts/check-versions.py --add php@8.5.10

Sans --sha, les outils GitHub mettent sha256 / sha256_windows à null. Pour combler les hashes manquants d’entrées déjà présentes (y compris celles ajoutées sans --sha), relancer avec --fill-sha : il télécharge chaque URL sans hash et remplit sha256 / sha256_windows. Il respecte --tool et couvre aussi les outils sans checker (mysql, wezterm, …).

Astuce rate-limit GitHub : exporter GITHUB_TOKEN (ou être authentifié via gh auth login).

Après --write, vérifier le diff, puis committer et pusher sur main.

Mettre à jour PHP / Git (build local)

scripts/update-builds.sh automatise le cycle complet : détection → build → release GitHub → mise à jour de versions.json avec les sha256 calculés sur les artefacts publiés.

# php + git (build local via release-*.sh)
scripts/update-builds.sh
# Build via GitHub Actions (runner self-hosté actions-runner/ de ce dépôt)
scripts/update-builds.sh --ci
# Seulement php
scripts/update-builds.sh --tool php
# Release déjà publiée (rebuild manuel) : ne met à jour que versions.json
scripts/update-builds.sh --no-build
  • php : construit le dernier patch de la branche mineure détectée (release-php.sh <minor> ou build-php.yml), l’URL Windows est cherchée sur windows.php.net.
  • git : construit la version détectée (release-git.sh <version> ou build-git.yml), l’URL Windows pointe sur la dernière build MinGit de git-for-windows.
  • Les binaries / lts de l’entrée précédente sont conservés.

Avec --ci, le runner self-hosté de ce dépôt (actions-runner/) doit être en ligne (./run.sh) : il est enregistré sur Paul75/devconsole-registry mais n'est pas installé comme service systemd, il faut le lancer à la main.

Build PHP

Les binaires PHP sont buildés avec static-php-cli via GitHub Actions.

Déclencher un build

Aller dans Actions → Build PHP → Run workflow, saisir la version mineure (e.g. 8.4).

Le workflow:

  1. Télécharge spc (le CLI de static-php-cli)
  2. Compile PHP avec les extensions listées dans craft.yml
  3. Crée un archive .tar.gz contenant bin/php, sbin/php-fpm, bin/php-cgi
  4. Publie une GitHub Release avec l'archive

Build en local

# Prérequis: autoconf, automake, libtool, cmake, make, gcc, g++, pkg-config,# re2c, bison, libxml2-dev, libsqlite3-dev, libcurl4-openssl-dev,# libreadline-dev, libzip-dev, libonig-dev, libssl-dev
curl -fsSL -o spc https://dl.static-php.dev/v3/spc-bin/nightly/spc-linux-x86_64
chmod +x spc
./spc craft craft.yml

Les binaires buildés se trouvent dans buildroot/bin/php et buildroot/sbin/php-fpm.

URL des Releases

Une fois le build terminé, l'URL de téléchargement pour versions.json est:

https://github.com/Paul75/devconsole-registry/releases/download/php-{version}/php-{version}-fpm-linux-x86_64.tar.gz

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages

, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Remove or un-stick sticky/fixed headers that block content\n(function() {\n function unstick() {\n document.querySelectorAll('header, nav, [role=\"banner\"], .header, .navbar, .sticky, .fixed-top, [style*=\"position: fixed\"], [style*=\"position:sticky\"]').forEach(function(el) {\n if (el.style.position === 'fixed' || el.style.position === 'sticky' || \n getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') {\n el.style.position = 'static';\n el.style.top = 'auto';\n el.style.zIndex = 'auto';\n }\n });\n }\n \n unstick();\n \n var observer = new MutationObserver(unstick);\n observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] });\n})();", "Kill Sticky Headers"); } } catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

Latest commit

History

144 Commits

Folders and files

NameName
Last commit message
Last commit date

Repository files navigation

devconsole-registry

Registry des versions pour DevConsole.

Ce dépôt contient le fichier versions.json qui liste les versions disponibles de chaque outil (Node.js, PHP, MySQL, MariaDB, Caddy, Python, Git) avec les URLs de téléchargement et les SHA256.

Utilisation

DevConsole fetch ce fichier depuis https://raw.githubusercontent.com/Paul75/devconsole-registry/main/versions.json au démarrage. Si le réseau est absent, le fallback embarqué dans l'application est utilisé.

Structure

{
"tools": {
"<tool>": {
"versions": {
"<version>": {
"url": "<download_url>",
"sha256": "<optional_sha256>",
"binaries": ["<binary_paths>"]
}
}
}
}
}

Ajouter une version

  1. Ajouter l'entrée dans versions.json (manuellement, ou via le script ci-dessous)
  2. Publier le binaire dans une Release GitHub si besoin (PHP, Git Linux…)
  3. Committer et pusher sur main

Détecter / mettre à jour les versions

Le script scripts/check-versions.py interroge les sources upstream et propose les bumps pour versions.json.

Outils supportés

node, bun, caddy, mailpit, composer, zed, vscodium, tabby, go, php, git

OutilSourceComportement
nodenodejs.org/dist/index.json + SHASUMSremplace la version de chaque ligne majeure déjà présente
gogo.dev/dl/?mode=jsonajoute la nouvelle version (sha depuis l’API)
php, gittags GitHub (php/php-src, git/git)detect-only : signale la nouvelle version, le binaire étant produit par un build local/CI
autresGitHub Releases latestajoute la nouvelle version (URL dérivée du template existant)

php et git ne dérivent pas d’URL : leur binaire Linux est buildé localement (ou en CI). Une fois la release publiée, scripts/update-builds.sh intègre l’entrée dans versions.json (url + sha256 calculés sur l’artefact).

Commandes

# Rapport seul (aucune écriture)
scripts/check-versions.py
# Sous-ensemble d'outils
scripts/check-versions.py --tool node,bun
# Sortie machine
scripts/check-versions.py --json
# Appliquer les mises à jour dans versions.json
scripts/check-versions.py --write
# Idem + calcul des sha256 par téléchargement (lent)# Utile hors node/go, qui récupèrent déjà les checksums officiels
scripts/check-versions.py --write --sha
# Remplir les sha256 manquants (null/vides) des versions déjà présentes# Indépendant des checkers : pas besoin de vérifier les nouveautés
scripts/check-versions.py --fill-sha
scripts/check-versions.py --fill-sha --write # applique l'écriture# Ajouter manuellement une version (entry JSON sur stdin) — usage interneecho'{"url": "…", "sha256": "…"}'| scripts/check-versions.py --add php@8.5.10

Sans --sha, les outils GitHub mettent sha256 / sha256_windows à null. Pour combler les hashes manquants d’entrées déjà présentes (y compris celles ajoutées sans --sha), relancer avec --fill-sha : il télécharge chaque URL sans hash et remplit sha256 / sha256_windows. Il respecte --tool et couvre aussi les outils sans checker (mysql, wezterm, …).

Astuce rate-limit GitHub : exporter GITHUB_TOKEN (ou être authentifié via gh auth login).

Après --write, vérifier le diff, puis committer et pusher sur main.

Mettre à jour PHP / Git (build local)

scripts/update-builds.sh automatise le cycle complet : détection → build → release GitHub → mise à jour de versions.json avec les sha256 calculés sur les artefacts publiés.

# php + git (build local via release-*.sh)
scripts/update-builds.sh
# Build via GitHub Actions (runner self-hosté actions-runner/ de ce dépôt)
scripts/update-builds.sh --ci
# Seulement php
scripts/update-builds.sh --tool php
# Release déjà publiée (rebuild manuel) : ne met à jour que versions.json
scripts/update-builds.sh --no-build
  • php : construit le dernier patch de la branche mineure détectée (release-php.sh <minor> ou build-php.yml), l’URL Windows est cherchée sur windows.php.net.
  • git : construit la version détectée (release-git.sh <version> ou build-git.yml), l’URL Windows pointe sur la dernière build MinGit de git-for-windows.
  • Les binaries / lts de l’entrée précédente sont conservés.

Avec --ci, le runner self-hosté de ce dépôt (actions-runner/) doit être en ligne (./run.sh) : il est enregistré sur Paul75/devconsole-registry mais n'est pas installé comme service systemd, il faut le lancer à la main.

Build PHP

Les binaires PHP sont buildés avec static-php-cli via GitHub Actions.

Déclencher un build

Aller dans Actions → Build PHP → Run workflow, saisir la version mineure (e.g. 8.4).

Le workflow:

  1. Télécharge spc (le CLI de static-php-cli)
  2. Compile PHP avec les extensions listées dans craft.yml
  3. Crée un archive .tar.gz contenant bin/php, sbin/php-fpm, bin/php-cgi
  4. Publie une GitHub Release avec l'archive

Build en local

# Prérequis: autoconf, automake, libtool, cmake, make, gcc, g++, pkg-config,# re2c, bison, libxml2-dev, libsqlite3-dev, libcurl4-openssl-dev,# libreadline-dev, libzip-dev, libonig-dev, libssl-dev
curl -fsSL -o spc https://dl.static-php.dev/v3/spc-bin/nightly/spc-linux-x86_64
chmod +x spc
./spc craft craft.yml

Les binaires buildés se trouvent dans buildroot/bin/php et buildroot/sbin/php-fpm.

URL des Releases

Une fois le build terminé, l'URL de téléchargement pour versions.json est:

https://github.com/Paul75/devconsole-registry/releases/download/php-{version}/php-{version}-fpm-linux-x86_64.tar.gz

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages

, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Universal Dark Mode - works on any site\n(function() {\n var enabled = true;\n \n function applyDarkMode() {\n if (!enabled) return;\n \n // Create style element if it doesn't exist\n var style = document.getElementById('universal-dark-mode-style');\n if (!style) {\n style = document.createElement('style');\n style.id = 'universal-dark-mode-style';\n document.head.appendChild(style);\n }\n \n // Dark mode CSS - inverts colors but preserves images/video\n style.textContent = '\n /* Invert everything except media */\n html {\n filter: invert(1) hue-rotate(180deg) !important;\n background: #1a1a2e !important;\n }\n \n /* Restore images, videos, iframes, canvas */\n img, video, iframe, canvas, svg, picture, [style*=\"background-image\"] {\n filter: invert(1) hue-rotate(180deg) !important;\n }\n \n /* Preserve specific elements that should not be inverted */\n .no-dark-mode, .no-dark-mode *,\n [data-theme=\"light\"], [data-theme=\"light\"],\n .ace_editor, .ace_editor *,\n .CodeMirror, .CodeMirror *,\n .monaco-editor, .monaco-editor *,\n .markdown-body pre, .markdown-body pre *,\n .highlight, .highlight *,\n pre code, pre code * {\n filter: none !important;\n }\n \n /* Fix common UI elements */\n .modal, .popup, .dropdown-menu, .tooltip, .popover {\n filter: invert(1) hue-rotate(180deg) !important;\n background: #2d2d44 !important;\n border-color: #444 !important;\n }\n \n /* Scrollbars */\n ::-webkit-scrollbar { background: #1a1a2e !important; }\n ::-webkit-scrollbar-thumb { background: #444 !important; }\n ::-webkit-scrollbar-thumb:hover { background: #555 !important; }\n \n /* Selection */\n ::selection { background: #4ecdc4 !important; color: #1a1a2e !important; }\n ::-moz-selection { background: #4ecdc4 !important; color: #1a1a2e !important; }\n ';\n }\n \n function removeDarkMode() {\n var style = document.getElementById('universal-dark-mode-style');\n if (style) style.remove();\n }\n \n // Toggle with Alt+Shift+D\n document.addEventListener('keydown', function(e) {\n if (e.altKey && e.shiftKey && e.key === 'D') {\n e.preventDefault();\n enabled = !enabled;\n if (enabled) {\n applyDarkMode();\n console.log('[Universal Dark Mode] Enabled');\n } else {\n removeDarkMode();\n console.log('[Universal Dark Mode] Disabled');\n }\n }\n });\n \n // Apply on load\n applyDarkMode();\n \n // Re-apply on dynamic content\n var observer = new MutationObserver(function(mutations) {\n if (enabled && !document.getElementById('universal-dark-mode-style')) {\n applyDarkMode();\n }\n });\n observer.observe(document.head, { childList: true });\n \n console.log('[Universal Dark Mode] Loaded - Press Alt+Shift+D to toggle');\n})();", "Universal Dark Mode"); } } catch(__e) { console.warn('[Userscript:Universal Dark Mode]', __e); } })(); })();
Skip to content

Latest commit

History

144 Commits

Folders and files

NameName
Last commit message
Last commit date

Repository files navigation

devconsole-registry

Registry des versions pour DevConsole.

Ce dépôt contient le fichier versions.json qui liste les versions disponibles de chaque outil (Node.js, PHP, MySQL, MariaDB, Caddy, Python, Git) avec les URLs de téléchargement et les SHA256.

Utilisation

DevConsole fetch ce fichier depuis https://raw.githubusercontent.com/Paul75/devconsole-registry/main/versions.json au démarrage. Si le réseau est absent, le fallback embarqué dans l'application est utilisé.

Structure

{
"tools": {
"<tool>": {
"versions": {
"<version>": {
"url": "<download_url>",
"sha256": "<optional_sha256>",
"binaries": ["<binary_paths>"]
}
}
}
}
}

Ajouter une version

  1. Ajouter l'entrée dans versions.json (manuellement, ou via le script ci-dessous)
  2. Publier le binaire dans une Release GitHub si besoin (PHP, Git Linux…)
  3. Committer et pusher sur main

Détecter / mettre à jour les versions

Le script scripts/check-versions.py interroge les sources upstream et propose les bumps pour versions.json.

Outils supportés

node, bun, caddy, mailpit, composer, zed, vscodium, tabby, go, php, git

OutilSourceComportement
nodenodejs.org/dist/index.json + SHASUMSremplace la version de chaque ligne majeure déjà présente
gogo.dev/dl/?mode=jsonajoute la nouvelle version (sha depuis l’API)
php, gittags GitHub (php/php-src, git/git)detect-only : signale la nouvelle version, le binaire étant produit par un build local/CI
autresGitHub Releases latestajoute la nouvelle version (URL dérivée du template existant)

php et git ne dérivent pas d’URL : leur binaire Linux est buildé localement (ou en CI). Une fois la release publiée, scripts/update-builds.sh intègre l’entrée dans versions.json (url + sha256 calculés sur l’artefact).

Commandes

# Rapport seul (aucune écriture)
scripts/check-versions.py
# Sous-ensemble d'outils
scripts/check-versions.py --tool node,bun
# Sortie machine
scripts/check-versions.py --json
# Appliquer les mises à jour dans versions.json
scripts/check-versions.py --write
# Idem + calcul des sha256 par téléchargement (lent)# Utile hors node/go, qui récupèrent déjà les checksums officiels
scripts/check-versions.py --write --sha
# Remplir les sha256 manquants (null/vides) des versions déjà présentes# Indépendant des checkers : pas besoin de vérifier les nouveautés
scripts/check-versions.py --fill-sha
scripts/check-versions.py --fill-sha --write # applique l'écriture# Ajouter manuellement une version (entry JSON sur stdin) — usage interneecho'{"url": "…", "sha256": "…"}'| scripts/check-versions.py --add php@8.5.10

Sans --sha, les outils GitHub mettent sha256 / sha256_windows à null. Pour combler les hashes manquants d’entrées déjà présentes (y compris celles ajoutées sans --sha), relancer avec --fill-sha : il télécharge chaque URL sans hash et remplit sha256 / sha256_windows. Il respecte --tool et couvre aussi les outils sans checker (mysql, wezterm, …).

Astuce rate-limit GitHub : exporter GITHUB_TOKEN (ou être authentifié via gh auth login).

Après --write, vérifier le diff, puis committer et pusher sur main.

Mettre à jour PHP / Git (build local)

scripts/update-builds.sh automatise le cycle complet : détection → build → release GitHub → mise à jour de versions.json avec les sha256 calculés sur les artefacts publiés.

# php + git (build local via release-*.sh)
scripts/update-builds.sh
# Build via GitHub Actions (runner self-hosté actions-runner/ de ce dépôt)
scripts/update-builds.sh --ci
# Seulement php
scripts/update-builds.sh --tool php
# Release déjà publiée (rebuild manuel) : ne met à jour que versions.json
scripts/update-builds.sh --no-build
  • php : construit le dernier patch de la branche mineure détectée (release-php.sh <minor> ou build-php.yml), l’URL Windows est cherchée sur windows.php.net.
  • git : construit la version détectée (release-git.sh <version> ou build-git.yml), l’URL Windows pointe sur la dernière build MinGit de git-for-windows.
  • Les binaries / lts de l’entrée précédente sont conservés.

Avec --ci, le runner self-hosté de ce dépôt (actions-runner/) doit être en ligne (./run.sh) : il est enregistré sur Paul75/devconsole-registry mais n'est pas installé comme service systemd, il faut le lancer à la main.

Build PHP

Les binaires PHP sont buildés avec static-php-cli via GitHub Actions.

Déclencher un build

Aller dans Actions → Build PHP → Run workflow, saisir la version mineure (e.g. 8.4).

Le workflow:

  1. Télécharge spc (le CLI de static-php-cli)
  2. Compile PHP avec les extensions listées dans craft.yml
  3. Crée un archive .tar.gz contenant bin/php, sbin/php-fpm, bin/php-cgi
  4. Publie une GitHub Release avec l'archive

Build en local

# Prérequis: autoconf, automake, libtool, cmake, make, gcc, g++, pkg-config,# re2c, bison, libxml2-dev, libsqlite3-dev, libcurl4-openssl-dev,# libreadline-dev, libzip-dev, libonig-dev, libssl-dev
curl -fsSL -o spc https://dl.static-php.dev/v3/spc-bin/nightly/spc-linux-x86_64
chmod +x spc
./spc craft craft.yml

Les binaires buildés se trouvent dans buildroot/bin/php et buildroot/sbin/php-fpm.

URL des Releases

Une fois le build terminé, l'URL de téléchargement pour versions.json est:

https://github.com/Paul75/devconsole-registry/releases/download/php-{version}/php-{version}-fpm-linux-x86_64.tar.gz

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages