summary refs log tree commit diff
path: root/home/.ssh/config
blob: 3fc6a8dba329622290c040214251425b1f28962c (plain) (blame) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

IgnoreUnknown Include
Include config_private

HashKnownHosts yes

SendEnv LANG LC_*

Host monday beastie puffy toaster tux progynova
	HostName %h.local
	ForwardAgent yes
	RemoteForward 7062 127.0.0.1:7062

Host june july
	HostName %h.nyc3.do.causal.agency
	Port 2222

Host git.causal.agency temp.causal.agency
	Port 2222
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-02-23 18:57:33 +0000
d class='logsubject'>Swap-remove tags as they're foundJune McEnroe This makes it even faster. From ~1s on a sqlite3.c amalgamation to ~0.85s. 2021-09-12Replace htagml regex with strncmpJune McEnroe Since ctags only ever produces regular expressions of the form /^re$/ or /^re/ with no other special characters, instead unescape the pattern and simply use strncmp. Running on a sqlite3.c amalgamation, the regex version takes ~37s while the strncmp version takes ~1s, producing identical output. Big win! 2021-09-11Also defer printing comment for lone close-parensJune McEnroe 2021-09-10Publish "git-comment"June McEnroe 2021-09-10Add git comment --pretty optionJune McEnroe 2021-09-08Defer printing comment if line is blank or closing braceJune McEnroe This fixes badly indented comments. 2021-09-08Up default min-repeat to 30 linesJune McEnroe 2021-09-08Handle dirty lines in git-commentJune McEnroe 2021-09-08Document and install git-commentJune McEnroe 2021-09-08Add repeat and all options to git-commentJune McEnroe 2021-09-08Add group threshold to git-commentJune McEnroe