about summary refs log tree commit diff
path: root/users/sterni/external/flipdot-gschichtler.nix
diff options
context:
space:
mode:
authorsterni <sternenseemann@systemli.org>2022-02-27T15·36+0100
committersterni <sternenseemann@systemli.org>2022-11-26T15·38+0000
commit7b7a8919b149bf094308aebc414e713a02bd400f (patch)
tree896a6cae4b9d0d44f6d41462fdae05edebf193a8 /users/sterni/external/flipdot-gschichtler.nix
parent4eca521e481307fdada07886caf9696ec4f2169d (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.nix9
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"
+  ];
+}