.hgrc managed by home-manager.
--- a/home.nix Fri Jul 10 16:35:43 2020 +0200
+++ b/home.nix Wed Aug 19 17:10:25 2020 +0200
@@ -18,6 +18,32 @@
./priv
];
+ home.file.".hgrc".text = ''
+ [extensions]
+ hgext.mq=
+ hgext.graphlog=
+ hgext.convert=
+ transplant=
+
+ [ui]
+ username = Tomas Zeman <tomas@functionals.cz>
+ editor = hgeditor
+
+ [pager]
+ pager = less -R
+
+ [diff]
+ git = 1
+
+ [alias]
+ spull = pull --remotecmd=sudohg
+ spush = push --remotecmd=sudohg
+ sclone = clone --remotecmd=sudohg
+
+ [trusted]
+ users = root
+ '';
+
home.packages = [
my-nur.guilt
my-nur.hgeditor