view .hgrc @ 168:282c9df47923

Long live TomeNET (and the mud)
author Steve Huston <huston@srhuston.net>
date Mon, 29 Oct 2018 10:40:45 -0400
parents 21e0ab41e180
children 1e15f715858e
line wrap: on
line source

# Global .hgrc - see bottom for local information

[ui]
username = Steve Huston <huston@astro.princeton.edu>
merge = vimdiff
editor = $HOME/bin/hgeditor

[extensions]
convert =
keyword =
color =
record =

[merge-tools]
vimdiff.executable = vim
vimdiff.args = -d $output $base $local $other -c "wincmd J"

[trusted]
groups = help

# Includes - here we pull in a config file for the particular host on which
# we're running, if there is one.  This lets us set specific things on
# specific hosts fairly easily.  $HOST must be defined in the environment
# (bash's built-in $HOSTNAME is insufficient)
%include $HOME/.hgrc.d/$HOST.rc