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,769 contributions in the last year
Activity overview
Contribution activity
May 2020
Created a pull request in sharkdp/fd that received 1 comment
Disable jemalloc for macOS
This PR configures TravisCI to use macOS Catalina for the fd build and tests. If this works as expected, the first build should fail during the int…
+7
−2
•
1
comment
- 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'