initial commit [141.14.129.234,mike]

2026-07-26 06:38:01 +02:00
commit 5562055695
20 changed files with 2898 additions and 0 deletions
@@ -0,0 +1,34 @@
+# 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'