# Example mgsh configuration. mgsh writes a blank ~/.mgshrc on first run; fill
# in the required settings (mgsh refuses to start until they are set). This file
# is just an annotated reference.
#
# Simple "key = value" (or "key: value") lines; '#' starts a comment. ~/.mgshrc
# is the sole source of configuration (there are no built-in defaults); MGSH_*
# environment variables override individual settings.

# --- required ---
base        = /Users/me/src
githost     = git.example.com
gitport     = 22
gituser     = git
gitpath     = /home/git

# --- optional ---
# gitkey      = mgit_rsa
# gitname     = Your Name
# gitemail    = you@example.com
# pushdefault = matching
# editor      = code

# --- pushremote: mirror to a public server (gitea/github/gitlab) via its API ---
# remoteurl        = https://git.example.com
# remotekey        = <personal-access-token>
# remotetype       = gitea       # optional; auto-detected from remoteurl
# remotevisibility = private      # visibility of created repos (default private)
# mirror           = true         # `push` also mirrors via pushremote

# Aliases live in the same file (managed by the `alias` command). The expansion
# is a mgsh command line; $1..$N and $*/$@ expand arguments, and a shell command
# needs a leading '!'.
alias co 'checkout $1'
alias ec '!echo $1'