- 09 Oct, 2020 2 commits
-
-
hydrargyrum authored
-
hydrargyrum authored
-
- 08 Oct, 2020 2 commits
-
-
hydrargyrum authored
-
hydrargyrum authored
-
- 23 Aug, 2020 1 commit
-
-
hydrargyrum authored
-
- 18 Aug, 2020 1 commit
-
-
hydrargyrum authored
-
- 14 Jul, 2020 1 commit
-
-
hydrargyrum authored
-
- 15 May, 2020 2 commits
-
-
hydrargyrum authored
Instead of pre-processing input to look for lists and dicts, just create lists by default, and turn them to dicts on-the-fly when we obviously can't use a list anymore.
-
hydrargyrum authored
For example, this JSON: { "foo": { "bar": 42 "elements": [1, 2] }, "baz": true } will be flattened to: { "foo/bar": 42, "foo/elements/0": 1, "foo/elements/1": 2, "baz": true } Expaning, the reverse operation cannot always restore the exact same input as flattening is lossy: - fusion between dicts and lists - elimination of empty dicts and lists
-
- 09 May, 2020 2 commits
-
-
hydrargyrum authored
- takes a malformed ASCII-drawn table as stdin or file, for example: +-----+-----+ | foo | bar | +-----+-----+ | a long cell | short | | x | longer cell ? | +--+--+ - outputs a well-formed table: +-------------+---------------+ | foo | bar | +-------------+---------------+ | a long cell | short | | x | longer cell ? | +-------------+---------------+
-
hydrargyrum authored
-
- 05 Apr, 2020 1 commit
-
-
hydrargyrum authored
Image data was not of the right type, preventing the QR decoding from working
-
- 04 Apr, 2020 1 commit
-
-
hydrargyrum authored
- add a context menu - can change direction of ruler (left-to-right vs right-to-left) - can change the edge of ticks - can resize with shift+arrow
-
- 01 Feb, 2020 1 commit
-
-
hydrargyrum authored
git add FILE and create a commit that will have author date set to the last modification time (mtime) of FILE.
-
- 25 Jan, 2020 1 commit
-
-
hydrargyrum authored
-
- 19 Jan, 2020 2 commits
-
-
hydrargyrum authored
-
hydrargyrum authored
-
- 18 Jan, 2020 3 commits
-
-
hydrargyrum authored
-
hydrargyrum authored
git-cherry-pick on path used to be buggy and do this command, add it as a separate command then.
-
hydrargyrum authored
Now, git-cherry-pick-on-path really takes the diff from the pointed commit and applies those changes, restricting to selected paths.
-
- 08 Jan, 2020 1 commit
-
-
hydrargyrum authored
-
- 29 Dec, 2019 1 commit
-
-
hydrargyrum authored
-
- 28 Nov, 2019 1 commit
-
-
hydrargyrum authored
-
- 06 Nov, 2019 3 commits
-
-
hydrargyrum authored
-
hydrargyrum authored
-
hydrargyrum authored
supports HOUR:MINUTE:SECOND notation
-
- 10 Aug, 2019 1 commit
-
-
hydrargyrum authored
-
- 11 Jun, 2019 2 commits
-
-
hydrargyrum authored
-
hydrargyrum authored
-
- 02 Jun, 2019 1 commit
-
-
hydrargyrum authored
-
- 27 Apr, 2019 2 commits
-
-
hydrargyrum authored
-
hydrargyrum authored
-
- 12 Mar, 2019 1 commit
-
-
hydrargyrum authored
-
- 17 Feb, 2019 2 commits
-
-
hydrargyrum authored
-
hydrargyrum authored
-
- 26 Jan, 2019 1 commit
-
-
hydrargyrum authored
-
- 30 Dec, 2018 2 commits
-
-
hydrargyrum authored
-
hydrargyrum authored
-
- 29 Aug, 2018 1 commit
-
-
hydrargyrum authored
-
- 26 Aug, 2018 1 commit
-
-
hydrargyrum authored
-