# HG changeset patch # User Tomas Zeman # Date 1597849825 -7200 # Node ID 070c8c2a6a6257dbdaf30bc7af574d8d5b8730c6 # Parent 30c184da8c38ce32006de1049ab21743409b51b8 .hgrc managed by home-manager. diff -r 30c184da8c38 -r 070c8c2a6a62 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 + 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