Skip to content

Add --no-header flag and improve theme errors#3562

Open
MaximIgitov wants to merge 1 commit intosharkdp:masterfrom
MaximIgitov:no-header-and-theme-error
Open

Add --no-header flag and improve theme errors#3562
MaximIgitov wants to merge 1 commit intosharkdp:masterfrom
MaximIgitov:no-header-and-theme-error

Conversation

@MaximIgitov
Copy link

Summary

  • add a --no-header flag to suppress file headers
  • emit a clear error when an unknown theme is requested
  • add integration coverage for both behaviors

Test plan

  • not run (Rust toolchain not installed on server)

@keith-hall
Copy link
Collaborator

Hi, do we need a new flag for not showing the header, considering we already have ways to remove style components?
And I thought we already have a fairly clear error when the theme can't be found? Please correct me :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants