Compare commits

..

No commits in common. "c5fa2bf62b1aa5ccc2d54be70441a2efddd7fe4c" and "584bfe2d3217dbe783f5c51676fe9b312dc764c2" have entirely different histories.

2 changed files with 8 additions and 31 deletions

View File

@ -31,19 +31,7 @@ repos:
exclude: ^LICENSES\/.*|LICENSE$
# File types depending on trailing whitespace. Use identify-cli
exclude_types: [svg, markdown, tsv]
#- id: check-docstring-first
#- id: check-json
- id: check-merge-conflict
- id: check-toml
- id: check-xml
#- id: debug-statements
#- id: fix-encoding-pragma
#args: [--remove]
- id: mixed-line-ending
args:
[--fix=auto]
#- id: pretty-format-json
#- id: requirements-txt-fixer
- repo: https://github.com/pre-commit-ci/pre-commit-ci-config
rev: v1.6.1
hooks:
@ -62,18 +50,7 @@ repos:
# rev: "v1.3.0"
# hooks:
# - id: mypy
# - repo: https://github.com/asottile/pyupgrade
# rev: v3.15.0
# hooks:
# - id: pyupgrade
# - repo: https://github.com/asottile/reorder-python-imports
# rev: v3.12.0
# hooks:
# - id: reorder-python-imports
# - repo: https://github.com/asottile/add-trailing-comma
# rev: v3.1.0
# hooks:
# - id: add-trailing-comma
# GitHub Actions etc. configuration validity checking
- repo: https://github.com/python-jsonschema/check-jsonschema
rev: 0.27.0

View File

@ -1,11 +1,11 @@
# 15 Fixes ÄÖ with Comic Shanns, workaround of https://codeberg.org/dnkl/foot/issues/1511
line-height=15
# Font size 7 is comfortable on Lumina
#font=Comic Shanns Mono-Regular:size=7,Noto Sans Mono:size=7, Noto Color Emoji
#font=Noto Sans Mono:size=7, Noto Color Emoji
#font=Comic Shanns Mono-Regular:size=7, Noto Color Emoji
# while 10 is great on Sedric and possibly safer default
font=Comic Shanns Mono-Regular:size=10,Noto Sans Mono:size=10, Noto Color Emoji
font=Noto Sans Mono:size=10, Noto Color Emoji
#font=Noto Sans Mono:size=12, Noto Color Emoji
# Zaldaryn again is using size 12
#font=Comic Shanns Mono-Regular:size=12,Noto Sans Mono:size=12, Noto Color Emoji
#font=Noto Sans Mono:size=10, Noto Color Emoji
#font=Comic Shanns Mono-Regular:size=12, Noto Color Emoji