Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

profiles: rename disable-X11.inc to disable-x11.inc #6294

Merged
merged 1 commit into from
Mar 27, 2024

Commits on Mar 26, 2024

  1. profiles: rename disable-X11.inc to disable-x11.inc

    That is, make "X11" lowercase so that the order of the includes in the
    disable- section remain the same when sorted with `LC_ALL=C`, as is the
    case for most of the other sections.  That is also likely to be the
    default in text editors (such as in vim on Arch), so this should make
    the disable- section more consistent and easier to sort when editing the
    profile.
    
    Also, keep the old include as a redirect to the new one for now to avoid
    breakage.
    
    Commands used to search and replace:
    
        git mv etc/inc/disable-X11.inc etc/inc/disable-x11.inc
        git grep -Ilz 'disable-X11' -- etc | xargs -0 \
          perl -pi -e 's/disable-X11/disable-x11/'
    
    Relates to netblue30#4462 netblue30#4854 netblue30#6070 netblue30#6289.
    
    This is a follow-up to netblue30#6286.
    kmk3 committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    2f53e45 View commit details
    Browse the repository at this point in the history