2015-07-11 14:55:22 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
2015-07-24 18:48:00 +00:00
|
|
|
|
2016-10-20 18:54:38 +00:00
|
|
|
with import <stockholm/lib>;
|
2015-11-09 17:52:11 +00:00
|
|
|
|
2017-01-05 20:03:23 +00:00
|
|
|
let {
|
2015-07-11 14:55:22 +00:00
|
|
|
|
2017-01-05 20:03:23 +00:00
|
|
|
body = {
|
2020-07-13 09:39:42 +00:00
|
|
|
|
|
|
|
nixpkgs.config.packageOverrides = super: {
|
|
|
|
cgit = pkgs.symlinkJoin {
|
|
|
|
name = "${super.cgit.name}-tv";
|
|
|
|
paths = [
|
|
|
|
(pkgs.runCommand "${super.cgit.name}-tv-overrides" {
|
|
|
|
} /* sh */ ''
|
|
|
|
mkdir -p $out/lib/cgit/filters
|
|
|
|
cd $out/lib/cgit/filters
|
|
|
|
cp \
|
|
|
|
${super.cgit}/lib/cgit/filters/syntax-highlighting.py \
|
|
|
|
${super.cgit}/lib/cgit/filters/.syntax-highlighting.py-wrapped \
|
|
|
|
.
|
|
|
|
sed -i "s:${super.cgit}:$out:" syntax-highlighting.py
|
|
|
|
sed -i '
|
|
|
|
s:^\(formatter =\).*:\1 HtmlFormatter(style="algol_nu"):
|
|
|
|
' .syntax-highlighting.py-wrapped
|
|
|
|
'')
|
|
|
|
super.cgit
|
|
|
|
];
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2015-07-24 09:44:49 +00:00
|
|
|
krebs.git = {
|
2015-07-23 22:24:12 +00:00
|
|
|
enable = true;
|
2016-06-07 01:14:21 +00:00
|
|
|
cgit = {
|
|
|
|
settings = {
|
2018-09-28 14:20:48 +00:00
|
|
|
about-filter = pkgs.exec "krebs.cgit.about-filter" rec {
|
2021-06-01 23:40:51 +00:00
|
|
|
filename = "${pkgs.python3Packages.markdown2}/bin/markdown2";
|
2018-09-28 14:20:48 +00:00
|
|
|
argv = [
|
|
|
|
filename
|
|
|
|
"--extras=fenced-code-blocks"
|
|
|
|
];
|
|
|
|
envp = {};
|
|
|
|
};
|
|
|
|
readme = [
|
|
|
|
":README.md"
|
|
|
|
];
|
2016-06-07 01:14:21 +00:00
|
|
|
root-desc = "mostly krebs";
|
2018-09-28 14:20:48 +00:00
|
|
|
root-title = "repositories at ${config.krebs.build.host.name}";
|
2020-07-13 09:39:02 +00:00
|
|
|
source-filter = "${pkgs.cgit}/lib/cgit/filters/syntax-highlighting.py";
|
2016-06-07 01:14:21 +00:00
|
|
|
};
|
|
|
|
};
|
2016-02-03 12:36:54 +00:00
|
|
|
repos = repos;
|
2015-08-24 09:22:05 +00:00
|
|
|
rules = rules;
|
2015-07-23 22:24:12 +00:00
|
|
|
};
|
2015-07-11 14:55:22 +00:00
|
|
|
};
|
|
|
|
|
2018-08-28 19:48:00 +00:00
|
|
|
cgit-clear-cache = pkgs.cgit-clear-cache.override {
|
|
|
|
inherit (config.krebs.git.cgit.settings) cache-root;
|
|
|
|
};
|
|
|
|
|
2015-08-24 09:22:05 +00:00
|
|
|
repos =
|
2015-07-24 17:33:20 +00:00
|
|
|
public-repos //
|
2015-08-24 09:22:05 +00:00
|
|
|
optionalAttrs config.krebs.build.host.secure restricted-repos;
|
2015-07-24 17:33:20 +00:00
|
|
|
|
2015-07-23 22:24:12 +00:00
|
|
|
rules = concatMap make-rules (attrValues repos);
|
2015-07-11 14:55:22 +00:00
|
|
|
|
2015-10-17 06:00:35 +00:00
|
|
|
public-repos = mapAttrs make-public-repo ({
|
2016-06-07 01:14:21 +00:00
|
|
|
} // mapAttrs (_: recursiveUpdate { cgit.section = "1. miscellaneous"; }) {
|
2021-01-03 16:10:57 +00:00
|
|
|
crx = {
|
|
|
|
cgit.desc = "utilities for working with Chrome extensions";
|
|
|
|
};
|
2016-11-24 21:40:55 +00:00
|
|
|
dic = {
|
|
|
|
cgit.desc = "dict.leo.org command line interface";
|
|
|
|
};
|
2018-07-13 12:24:57 +00:00
|
|
|
disko = {
|
|
|
|
cgit.desc = "declarative partitioning and formatting tool";
|
|
|
|
};
|
2019-02-07 18:04:19 +00:00
|
|
|
flameshot-once = {
|
|
|
|
cgit.desc = "flameshot runner that automatically starts/stops the daemon";
|
|
|
|
};
|
2018-09-25 17:02:09 +00:00
|
|
|
fswm = {
|
|
|
|
cgit.desc = "simple full screen window manager";
|
|
|
|
};
|
2017-04-18 17:58:49 +00:00
|
|
|
htgen = {
|
|
|
|
cgit.desc = "toy HTTP server";
|
|
|
|
};
|
2018-05-03 16:41:08 +00:00
|
|
|
krops = {
|
2018-02-28 21:38:42 +00:00
|
|
|
cgit.desc = "deployment tools";
|
|
|
|
};
|
2020-11-24 19:13:48 +00:00
|
|
|
mailaids = {
|
|
|
|
cgit.desc = "Assortment of aids for working with electronic mail";
|
|
|
|
};
|
2015-07-23 22:24:12 +00:00
|
|
|
much = {};
|
2016-10-23 16:15:20 +00:00
|
|
|
netcup = {
|
|
|
|
cgit.desc = "netcup command line interface";
|
|
|
|
};
|
2018-09-28 13:16:11 +00:00
|
|
|
nix-writers = {
|
|
|
|
cgit.desc = "collection of package builders";
|
|
|
|
};
|
2021-02-23 20:31:02 +00:00
|
|
|
pager = {
|
|
|
|
};
|
2016-10-23 16:15:20 +00:00
|
|
|
populate = {
|
|
|
|
cgit.desc = "source code installer";
|
|
|
|
};
|
2017-04-18 17:58:53 +00:00
|
|
|
q = {};
|
2019-01-13 22:42:22 +00:00
|
|
|
reaktor2 = {};
|
2015-07-23 22:24:12 +00:00
|
|
|
regfish = {};
|
|
|
|
stockholm = {
|
2016-06-07 01:14:21 +00:00
|
|
|
cgit.desc = "NixOS configuration";
|
2015-07-23 22:24:12 +00:00
|
|
|
};
|
2021-01-03 16:11:04 +00:00
|
|
|
TabFS = {
|
|
|
|
cgit.desc = "mount browser tabs & co. as a filesystem";
|
|
|
|
};
|
2018-12-28 13:49:44 +00:00
|
|
|
with-ssh = {};
|
2016-11-24 21:40:55 +00:00
|
|
|
} // mapAttrs (_: recursiveUpdate { cgit.section = "2. Host configurations"; }) {
|
|
|
|
ni = {
|
|
|
|
};
|
|
|
|
} // mapAttrs (_: recursiveUpdate { cgit.section = "3. Haskell libraries"; }) {
|
2021-02-23 20:39:00 +00:00
|
|
|
X11-aeson = {};
|
2015-10-17 06:00:35 +00:00
|
|
|
blessings = {};
|
2021-02-23 20:02:05 +00:00
|
|
|
hack = {};
|
2018-11-13 01:47:03 +00:00
|
|
|
hc = {};
|
2015-10-17 06:00:35 +00:00
|
|
|
mime = {};
|
|
|
|
quipper = {};
|
|
|
|
scanner = {};
|
2015-07-23 22:24:12 +00:00
|
|
|
wai-middleware-time = {};
|
|
|
|
web-routes-wai-custom = {};
|
|
|
|
xintmap = {};
|
2021-02-23 20:44:28 +00:00
|
|
|
xmonad-aeson = {};
|
2015-11-09 17:01:30 +00:00
|
|
|
xmonad-stockholm = {};
|
2021-02-23 21:42:18 +00:00
|
|
|
xmonad-web = {};
|
2016-11-24 21:40:55 +00:00
|
|
|
} // mapAttrs (_: recursiveUpdate { cgit.section = "4. museum"; }) {
|
2018-09-28 13:18:43 +00:00
|
|
|
cac-api = {
|
|
|
|
cgit.desc = "CloudAtCost API command line interface";
|
|
|
|
};
|
2015-11-09 17:34:02 +00:00
|
|
|
cgserver = {};
|
|
|
|
crude-mail-setup = {};
|
|
|
|
dot-xmonad = {};
|
2017-04-18 17:58:37 +00:00
|
|
|
hirc = {};
|
2018-09-28 13:18:43 +00:00
|
|
|
hstool = {
|
|
|
|
cgit.desc = "Haskell Development Environment ^_^";
|
|
|
|
};
|
|
|
|
kirk = {
|
|
|
|
cgit.desc = "IRC tools";
|
|
|
|
};
|
2016-11-24 21:40:55 +00:00
|
|
|
make-snapshot = {};
|
2015-11-09 17:34:02 +00:00
|
|
|
nixos-infest = {};
|
|
|
|
painload = {};
|
2016-11-24 21:40:55 +00:00
|
|
|
push = {};
|
2019-01-13 22:42:14 +00:00
|
|
|
Reaktor = {};
|
2016-11-24 21:40:55 +00:00
|
|
|
with-tmpdir = {};
|
2018-09-28 13:18:43 +00:00
|
|
|
get = {};
|
|
|
|
load-env = {};
|
|
|
|
loldns = {
|
|
|
|
cgit.desc = "toy DNS server";
|
|
|
|
};
|
|
|
|
soundcloud = {
|
|
|
|
cgit.desc = "SoundCloud command line interface";
|
|
|
|
};
|
2015-10-17 06:00:35 +00:00
|
|
|
});
|
2015-07-11 14:55:22 +00:00
|
|
|
|
2015-07-24 17:33:20 +00:00
|
|
|
restricted-repos = mapAttrs make-restricted-repo (
|
|
|
|
{
|
|
|
|
brain = {
|
2015-07-24 18:48:00 +00:00
|
|
|
collaborators = with config.krebs.users; [ lass makefu ];
|
2018-08-28 19:48:00 +00:00
|
|
|
hooks = {
|
|
|
|
post-receive = /* sh */ ''
|
|
|
|
(${irc-announce { cgit_endpoint = null; }})
|
|
|
|
${cgit-clear-cache}/bin/cgit-clear-cache
|
|
|
|
'';
|
2017-06-19 21:07:51 +00:00
|
|
|
};
|
2015-07-24 17:33:20 +00:00
|
|
|
};
|
|
|
|
} //
|
2015-09-26 22:22:50 +00:00
|
|
|
# TODO don't put secrets/repos.nix into the store
|
|
|
|
import <secrets/repos.nix> { inherit config lib pkgs; }
|
2015-07-24 17:33:20 +00:00
|
|
|
);
|
|
|
|
|
2017-06-19 21:07:51 +00:00
|
|
|
irc-announce = args: pkgs.git-hooks.irc-announce (recursiveUpdate {
|
2017-10-01 12:31:00 +00:00
|
|
|
channel = "#xxx";
|
2017-06-19 20:46:26 +00:00
|
|
|
# TODO make nick = config.krebs.build.host.name the default
|
|
|
|
nick = config.krebs.build.host.name;
|
2017-10-01 11:43:00 +00:00
|
|
|
server = "irc.r";
|
2017-06-19 20:46:26 +00:00
|
|
|
verbose = true;
|
2017-06-19 21:07:51 +00:00
|
|
|
} args);
|
2017-06-19 20:46:26 +00:00
|
|
|
|
2016-06-07 01:14:21 +00:00
|
|
|
make-public-repo = name: { cgit ? {}, ... }: {
|
|
|
|
inherit cgit name;
|
2015-07-23 22:24:12 +00:00
|
|
|
public = true;
|
2018-08-28 19:48:00 +00:00
|
|
|
hooks = {
|
|
|
|
post-receive = /* sh */ ''
|
|
|
|
(${optionalString (config.krebs.build.host.name == "ni")
|
|
|
|
(irc-announce {})})
|
|
|
|
${cgit-clear-cache}/bin/cgit-clear-cache
|
|
|
|
'';
|
2015-07-11 14:55:22 +00:00
|
|
|
};
|
2015-07-23 22:24:12 +00:00
|
|
|
};
|
2015-07-11 14:55:22 +00:00
|
|
|
|
2017-06-19 20:46:26 +00:00
|
|
|
make-restricted-repo = name: { collaborators ? [], hooks ? {}, ... }: {
|
2018-08-28 19:48:00 +00:00
|
|
|
inherit collaborators name;
|
2015-07-24 17:33:20 +00:00
|
|
|
public = false;
|
2018-08-28 19:48:00 +00:00
|
|
|
hooks = hooks // {
|
|
|
|
post-receive = /* sh */ ''
|
2018-10-11 09:33:03 +00:00
|
|
|
(${hooks.post-receive or ":"})
|
2018-08-28 19:48:00 +00:00
|
|
|
${cgit-clear-cache}/bin/cgit-clear-cache
|
|
|
|
'';
|
|
|
|
};
|
2015-07-24 17:33:20 +00:00
|
|
|
};
|
|
|
|
|
2015-07-23 22:24:12 +00:00
|
|
|
make-rules =
|
2015-07-24 18:48:00 +00:00
|
|
|
with git // config.krebs.users;
|
2015-07-23 22:24:12 +00:00
|
|
|
repo:
|
|
|
|
singleton {
|
2016-02-07 04:17:07 +00:00
|
|
|
user = [ tv tv-xu ];
|
2015-07-23 22:24:12 +00:00
|
|
|
repo = [ repo ];
|
|
|
|
perm = push "refs/*" [ non-fast-forward create delete merge ];
|
|
|
|
} ++
|
2016-02-03 12:36:54 +00:00
|
|
|
optional (repo.collaborators or [] != []) {
|
2015-07-24 17:33:20 +00:00
|
|
|
user = repo.collaborators;
|
|
|
|
repo = [ repo ];
|
|
|
|
perm = fetch;
|
2015-07-23 22:24:12 +00:00
|
|
|
};
|
2015-07-11 14:55:22 +00:00
|
|
|
|
2017-01-05 20:03:23 +00:00
|
|
|
}
|