.hgrc managed by home-manager.
authorTomas Zeman <tomas@functionals.cz>
Wed, 19 Aug 2020 17:10:25 +0200
changeset 15 070c8c2a6a62
parent 14 30c184da8c38
child 16 f95667c50320
.hgrc managed by home-manager.
home.nix
--- 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