Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up- Stuttgart, Germany
- https://david-peter.de/
Pinned
1,842 contributions in the last year
Activity overview
Contribution activity
May 2020
Created a pull request in sharkdp/bat that received 6 comments
- Add support for NO_COLOR env var (#1021)
- Make InputDescription into API, remove special input kind for theme previews.
- Refactor HighlightingAssets::get_syntax to return Result type
- Allow 'bat' application to built without git feature, remove PrettyPrint git support when feature not enabled.
- Unify syntax detection for all variants of InputKind, fix #983
- Add padding above headers when no grid
- Add 'batcat' detection and notice to 'info.sh'
Created an issue in magiclen/path-dedot that received 7 comments
dedot_lv0_2 test is flaky
I see spurious test failures when running the tests multiple times (and with high parallelism?):
❯ cargo test --release -j 20 Finished release [opt…
7
comments
15
contributions
in private repositories
May 27 – May 28