diff options
author | sterni <sternenseemann@systemli.org> | 2022-02-27T15·36+0100 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2022-11-26T15·38+0000 |
commit | 7b7a8919b149bf094308aebc414e713a02bd400f (patch) | |
tree | 896a6cae4b9d0d44f6d41462fdae05edebf193a8 /users/sterni/external/flipdot-gschichtler.nix | |
parent | 4eca521e481307fdada07886caf9696ec4f2169d (diff) |
feat(sterni/external): add flipdot-gschichtler r/5331
We'll need this in depot in order to import my infra, as I run flipdot-gschichtler for the OpenLab at the moment. Importing the repository into the tree is not really an option, as it should stay in the GitHub organization. Additionally, it doesn't currently really have a license, but it is very possible it'll end up being AGPL. The whole thing is quite tame and has (anecdotically) never broken on a nixpkgs channel update. A new niv sources area is created to avoid cluttering the global one and having these sources in a gc root permanently. Change-Id: If49c6c0bf59bda9a90ca5cc405423affe52d0665 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7288 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'users/sterni/external/flipdot-gschichtler.nix')
-rw-r--r-- | users/sterni/external/flipdot-gschichtler.nix | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/users/sterni/external/flipdot-gschichtler.nix b/users/sterni/external/flipdot-gschichtler.nix new file mode 100644 index 000000000000..58f4fe1e7c8f --- /dev/null +++ b/users/sterni/external/flipdot-gschichtler.nix @@ -0,0 +1,9 @@ +{ pkgs, depot, ... }: + +import depot.users.sterni.external.sources.flipdot-gschichtler { inherit pkgs; } // { + # all targets we care about for depot + meta.ci.targets = [ + "bahnhofshalle" + "warteraum" + ]; +} |