Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

chore(#192): generate from css class names #418

Open
wants to merge 9 commits into
base: master
Choose a base branch
from

Conversation

alex-courtis
Copy link
Member

@alex-courtis alex-courtis commented Mar 17, 2024

fixes #192

feeds #414

Still contains validation programs to check against master.

Icons are mostly unchanged; seti refactor etc. can come later.

Changes, for classes with no nerd-font icon:

lua scripts/gen-check.lua
default icons_by_filename
default icons_by_file_extension
sig                       'λ' ~= '󰘧'
nu                        '>' ~= ''
sml                       'λ' ~= '󰘧'
cob                       '⚙' ~= ''
cpy                       '⚙' ~= ''
cobol                     '⚙' ~= ''
cbl                       '⚙' ~= ''
mo                        '∞' ~= '󰛤'
default icons_by_operating_system
light icons_by_filename
light icons_by_file_extension
sig                       'λ' ~= '󰘧'
nu                        '>' ~= ''
sml                       'λ' ~= '󰘧'
cob                       '⚙' ~= ''
cpy                       '⚙' ~= ''
cobol                     '⚙' ~= ''
cbl                       '⚙' ~= ''
mo                        '∞' ~= '󰛤'
light icons_by_operating_system
  • move all generation into generate_colors.lua
  • remove luarocks bits from CI
  • remove gen-check.lua before merge
  • update CONTRIBUTING.md

@gegoune
Copy link
Collaborator

gegoune commented Mar 17, 2024

Nice work!

For autogenerated files we could consider adding https://docs.github.com/en/repositories/working-with-files/managing-files/customizing-how-changed-files-appear-on-github.

@alex-courtis alex-courtis changed the title chore(#192): generate from css class names cchore(#192): generate from css class names May 12, 2024
@alex-courtis alex-courtis changed the title cchore(#192): generate from css class names choreee(#192): generate from css class names May 12, 2024
@alex-courtis alex-courtis changed the title choreee(#192): generate from css class names chore(#192): generate from css class names May 12, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Use Nerd Font css class names instead of hardcoding
2 participants