gdorn/FreshRSS-Extensions
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

Add a tool to generate the extensions.json file (#83)

Browse source 
Instead of manually maintaining the file, there is now a tool that grab
all repositories defined in the repositories.json file and browse through
all repositories to find extensions.
To do that, I've added a container that runs only php-cli to trigger said
tool.

The next step will be to trigger that tool automatically on a regular basis
and to update the current repository when there are changes.
This commit is contained in:
Alexis Degrugillier 2022-01-09 09:40:44 -05:00 • committed by GitHub
parent 8f6acb80fb
commit 93c042a57d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 471 additions and 227 deletions
Download patch file Download diff file Expand all files Collapse all files

61
generate.php Normal file
View file

@ -0,0 +1,61 @@
<?php
const VERSION = 0.1;
const TYPE_GIT = 'git';
$extensions = [];
// --------------------------------------------------------------- //
// Parse the repositories.json file to extract extension locations //
// --------------------------------------------------------------- //
$repositories = json_decode(file_get_contents('repositories.json'), true);
if (JSON_ERROR_NONE !== json_last_error()) {
echo 'The repositories.json file is not a valid JSON file.', PHP_EOL;
die;
}
$gitRepositories = [];
foreach ($repositories as $repository) {
if (null === $url = $repository['url'] ?? null) {
continue;
}
if (TYPE_GIT === $repository['type'] ?? null) {
$gitRepositories[] = $url;
}
}
// ---------------------------------------- //
// Clone git repository to extract metadata //
// ---------------------------------------- //
foreach ($gitRepositories as $key => $gitRepository) {
echo 'Processing ', $gitRepository, ' repository', PHP_EOL;
exec("git clone --quiet --single-branch --depth 1 --no-tags {$gitRepository} /tmp/extensions/{$key}");
unset($metadataFiles);
exec("find /tmp/extensions/{$key} -iname metadata.json", $metadataFiles);
foreach ($metadataFiles as $metadataFile) {
$metadata = json_decode(file_get_contents($metadataFile), true);
if (JSON_ERROR_NONE !== json_last_error()) {
continue;
}
$metadata['url'] = $gitRepository;
$metadata['method'] = TYPE_GIT;
$metadata['directory'] = basename(dirname($metadataFile));
$extensions[] = $metadata;
}
}
// --------------- //
// Generate output //
// --------------- //
usort($extensions, function ($a, $b) {
return $a['name'] <=> $b['name'];
});
$output = [
'version' => VERSION,
'extensions' => $extensions,
];
file_put_contents('extensions.json', json_encode($output, JSON_PRETTY_PRINT) . PHP_EOL);
echo PHP_EOL;
echo \count($extensions), ' extensions found', PHP_EOL;