about summary refs log tree commit diff stats
path: root/git_log_filtered
Commit message (Collapse)AuthorAgeFilesLines
* 4211Kartik K. Agaram2018-02-201-0/+1
| | | | | | | | Just ran into first issue from using the portable /bin/sh rather than a modern shell: https://stackoverflow.com/questions/15744421/read-command-doesnt-wait-for-input Turn on errexit everywhere.
* 3455Kartik K. Agaram2016-10-061-1/+1
|
* 3101 - purge .traces/ dir from repo historyKartik K. Agaram2016-07-051-1/+1
| | | | | | | | | | | | | | | | | | | | | I'd been toying with this idea for some time now given how large the repo had been growing. The final straw was noticing that people cloning the repo were having to wait *5 minutes*! That's not good, particularly for a project with 'tiny' in its description. After purging .traces/ clone time drops to 7 seconds in my tests. Major issue: some commits refer to .traces/ but don't really change anything there. That could get confusing :/ Minor issues: a) I've linked inside commits on GitHub like a half-dozen times online or over email. Those links are now liable to eventually break. (I seem to recall GitHub keeps them around as long as they get used at least once every 60 days, or something like that.) b) Numbering of commits is messed up because some commits only had changes to the .traces/ sub-directory.
* 2942 - switch scripts to bashKartik K. Agaram2016-05-081-1/+1
| | | | | I'm already using grep and perl, bash is no worse, and it's *much* nicer to work in than plain Bourne sh.
* 2807 - exclude .traces/ and html/ in 'git log'Kartik K. Agaram2016-03-221-0/+8
/a> ^
662d2a27 ^
20d1c905 ^
ce87c19e ^

1ead3562 ^
20d1c905 ^

662d2a27 ^
20d1c905 ^
ce87c19e ^

32241605 ^
20d1c905 ^

1ead3562 ^
bc643692 ^
5497090a ^
20d1c905 ^

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36