mirror of
https://github.com/engineer-man/piston.git
synced 2025-04-24 14:06:27 +02:00
Rename runtime priorities to mainstream runtimes
This commit is contained in:
parent
26203f6049
commit
a664cd4d49
2 changed files with 6 additions and 11 deletions
|
@ -45,18 +45,18 @@ expressWs(app);
|
|||
.toString();
|
||||
const runtime_names_unordered = JSON.parse(runtimes_data);
|
||||
|
||||
const priorities_data = cp
|
||||
const mainstream_runtimes_data = cp
|
||||
.execSync(
|
||||
`nix eval --json ${config.flake_path}#pistonRuntimePriorities`
|
||||
`nix eval --json ${config.flake_path}#pistonMainstreamRuntimes`
|
||||
)
|
||||
.toString();
|
||||
const priorities = JSON.parse(priorities_data).filter(runtime =>
|
||||
const mainstream_runtimes = JSON.parse(mainstream_runtimes_data).filter(runtime =>
|
||||
runtime_names_unordered.includes(runtime)
|
||||
);
|
||||
const runtime_names = [
|
||||
...priorities,
|
||||
...mainstream_runtimes,
|
||||
...runtime_names_unordered.filter(
|
||||
runtime => !priorities.includes(runtime)
|
||||
runtime => !mainstream_runtimes.includes(runtime)
|
||||
),
|
||||
];
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue