maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

style: Switch to nixfmt from nixpkgs-fmt

Browse source 
Most of the ecosystem has moved to this formatter,
and many people configured their editors to autoformat it with this formatter.

Closes: https://git.snix.dev/snix/snix/issues/62
Change-Id: Icf39e7836c91fc2ae49fbe22a40a639105bfb0bd
Reviewed-on: https://cl.snix.dev/c/snix/+/30671
Reviewed-by: Florian Klink <flokli@flokli.de>
Tested-by: besadii
Autosubmit: Ilan Joselevich <personal@ilanjoselevich.com>
This commit is contained in:
Ilan Joselevich 2025-08-09 21:08:41 +02:00
parent 3443e6bd08
commit 91d02d8c84
136 changed files with 39952 additions and 11007 deletions
Download patch file Download diff file Expand all files Collapse all files

56
tools/releases/default.nix
View file

@ -1,5 +1,10 @@
# Definitions for simple release mechanisms from depot.
{ depot, lib, pkgs, ... }:
{
depot,
lib,
pkgs,
...
}:
let
inherit (lib.strings) makeBinPath sanitizeDerivationName;
@ -10,28 +15,39 @@ in
#
# This expects, of course, that the remote repository has granted
# push access to the CI SSH key.
filteredGitPush = { filter, remote, ref ? "refs/heads/canon" }: {
label = ":git: push '${filter}' to external git repository";
branches = [ "refs/heads/canon" ];
phase = "release";
filteredGitPush =
{
filter,
remote,
ref ? "refs/heads/canon",
}:
{
label = ":git: push '${filter}' to external git repository";
branches = [ "refs/heads/canon" ];
phase = "release";
command = pkgs.writeShellScript "${sanitizeDerivationName filter}-push" ''
set -e
export PATH="${makeBinPath [ pkgs.git pkgs.josh ]}:$PATH"
command = pkgs.writeShellScript "${sanitizeDerivationName filter}-push" ''
set -e
export PATH="${
makeBinPath [
pkgs.git
pkgs.josh
]
}:$PATH"
echo 'Filtering depot through ${filter}'
josh-filter '${filter}'
echo 'Filtering depot through ${filter}'
josh-filter '${filter}'
echo 'Fetching remote to check if a push is needed'
git fetch '${remote}' '${ref}'
echo 'Fetching remote to check if a push is needed'
git fetch '${remote}' '${ref}'
if git merge-base --is-ancestor FILTERED_HEAD FETCH_HEAD; then
echo 'Commit already present, nothing to push.'
exit 0
fi
if git merge-base --is-ancestor FILTERED_HEAD FETCH_HEAD; then
echo 'Commit already present, nothing to push.'
exit 0
fi
echo 'Pushing filtered repository to ${remote}:${ref}'
git push '${remote}' 'FILTERED_HEAD:${ref}'
'';
};
echo 'Pushing filtered repository to ${remote}:${ref}'
git push '${remote}' 'FILTERED_HEAD:${ref}'
'';
};
}