Skip to content

[JENKINS-42645] Search in Jenkins should be case insensitive by default #21925

Closed

Description

@jenkins-infra-bot

As discussed on the mailing list [1] there seems to be consensus that case insensitive search in Jenkins is much more intuitive. This unfortunately is an opposite to the situation available in Jenkins as of this issue creation [2]. In a context of changes in JENKINS-40718 (and the same approach in other places) it would be no longer possible to find FAILED jobs just by typing "fail" ("FAIL" would be required). This is counterproductive and misleading.

This issue assumes change the default behavior for newly crated users and for an anonymous user.

In addition it would be good to consider (probably as a separate issue to do not postpone the main action) a possibility to change that behavior for users that haven't intentionally opt-in to have case sensitive search. Unfortunately it can be impossible to determine that situation. Therefore maybe it would be beneficial (to prevent a "regression" related to JENKINS-40718 and similar changes) to reset that behavior and require from an user to opt-in to it once more - however, it could be somehow clumsy in the implementation (e.g. two values in XML for the same feature). Suggestions for that are welcome.

 


Originally reported by emszpak, imported from: Search in Jenkins should be case insensitive by default
  • assignee: emszpak
  • status: Resolved
  • priority: Minor
  • component(s): core
  • resolution: Done
  • resolved: 2017-04-07T08:54:17+00:00
  • votes: 1
  • watchers: 2
  • imported: 2025-11-24
Raw content of original issue

As discussed on the mailing list [1] there seems to be consensus that case insensitive search in Jenkins is much more intuitive. This unfortunately is an opposite to the situation available in Jenkins as of this issue creation [2]. In a context of changes in JENKINS-40718 (and the same approach in other places) it would be no longer possible to find FAILED jobs just by typing "fail" ("FAIL" would be required). This is counterproductive and misleading.

This issue assumes change the default behavior for newly crated users and for an anonymous user.

In addition it would be good to consider (probably as a separate issue to do not postpone the main action) a possibility to change that behavior for users that haven't intentionally opt-in to have case sensitive search. Unfortunately it can be impossible to determine that situation. Therefore maybe it would be beneficial (to prevent a "regression" related to JENKINS-40718 and similar changes) to reset that behavior and require from an user to opt-in to it once more - however, it could be somehow clumsy in the implementation (e.g. two values in XML for the same feature). Suggestions for that are welcome.

 

  • environment: Jenkins 2.49

Activity

  1. jenkins-infra-bot commented on Mar 12, 2017

    @jenkins-infra-bot
    Author
    emszpak:

    Related PR: #2801

  2. jenkins-infra-bot commented on Mar 21, 2017

    @jenkins-infra-bot
    Author
    emszpak:
    • Original comment link
    • Raw content of original comment:

      Available in 2.50.

    Available in 2.50.

  3. jenkins-infra-bot commented on Mar 21, 2017

    @jenkins-infra-bot
    Author
    emszpak:

    Wrong issue... Should be JENKINS-40718.

  4. jenkins-infra-bot commented on Apr 7, 2017

    @jenkins-infra-bot
    Author
    scm_issue_link:
    • Original comment link
    • Raw content of original comment:

      Code changed in jenkins User: Marcin Zajączkowski Path: core/src/main/java/hudson/search/FixedSet.java core/src/main/java/hudson/search/UserSearchProperty.java core/src/test/java/hudson/model/ViewTest.java core/src/test/java/jenkins/widgets/HistoryPageFilterTest.java test/src/test/java/jenkins/widgets/HistoryPageFilterCaseSensitiveSearchTest.java test/src/test/java/jenkins/widgets/HistoryPageFilterInsensitiveSearchTest.java http://jenkins-ci.org/commit/jenkins/b831acd9854b525d680ca72fd218c848121b9d3f Log: JENKINS-42645 Case insensitive search by default for new and anonymous users (#2801)

      String.equalsIgnoreCase is safer than toLowerCase when non English locales are used.

    Code changed in jenkins
    User: Marcin Zajączkowski
    Path:
    core/src/main/java/hudson/search/FixedSet.java
    core/src/main/java/hudson/search/UserSearchProperty.java
    core/src/test/java/hudson/model/ViewTest.java
    core/src/test/java/jenkins/widgets/HistoryPageFilterTest.java
    test/src/test/java/jenkins/widgets/HistoryPageFilterCaseSensitiveSearchTest.java
    test/src/test/java/jenkins/widgets/HistoryPageFilterInsensitiveSearchTest.java
    http://jenkins-ci.org/commit/jenkins/b831acd9854b525d680ca72fd218c848121b9d3f
    Log:
    JENKINS-42645 Case insensitive search by default for new and anonymous users (#2801)

    String.equalsIgnoreCase is safer than toLowerCase when non English
    locales are used.

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions