213:67ef4e6e6ceb
Anton Shestakov <av6@dwimlabs.net>, Sat, 08 May 2021 07:52:45 +0800
terminalrc: add new terminal options, switch to 11 font (the same as old 10?)

previous change 56:49435f917654

docs/prompt-session-hg.sh

Permissions: -rw-r--r--

Other formats: Feeds:
#!/bin/false
# paste this into an interactive shell
hg init hgrepo && cd hgrepo
echo 'a' > foo && hg add foo
hg ci -m 'a'
echo 'b' >> foo && hg ci -m 'b'
hg up 0 -q
hg branch secret -q
echo 's' >> foo && hg ci --secret -m 's'
hg ci --close-branch -m 'done here'
hg up default -q && hg merge secret -q --tool=internal:local
hg ci -m 'merge'
hg tag 0.1 && hg up -q 0.1
hg up -q && hg bookmark @