You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
[JENKINS-850] search box should match non-casesensitively #13834
Code changed in jenkins
User: Fred G
Path:
core/src/main/java/hudson/search/CollectionSearchIndex.java
core/src/main/java/hudson/search/FixedSet.java
core/src/main/java/hudson/search/Search.java
core/src/main/java/hudson/search/UserSearchProperty.java
http://jenkins-ci.org/commit/jenkins/42b1d25241bf79471e3eb0fc83172fca3e78ffbc
Log:
[FIXED JENKINS-850] search box should match non-casesensitively.
The real fix was provided in pull request #376 by lvotypko and vjuranek.
This commit just corrects a method name mix up, removes redundant
imports and adds the right JIRA ticket number.
Code changed in jenkins
User: Fred G
Path:
core/src/main/java/hudson/search/CollectionSearchIndex.java
core/src/main/java/hudson/search/FixedSet.java
core/src/main/java/hudson/search/Search.java
core/src/main/java/hudson/search/UserSearchProperty.java http://jenkins-ci.org/commit/jenkins/42b1d25241bf79471e3eb0fc83172fca3e78ffbc
Log: [FIXED JENKINS-850] search box should match non-casesensitively.
The real fix was provided in pull request #376 by lvotypko and vjuranek.
This commit just corrects a method name mix up, removes redundant
imports and adds the right JIRA ticket number.
Integrated in jenkins_main_trunk #1536[FIXED JENKINS-850] search box should match non-casesensitively. (Revision 42b1d25241bf79471e3eb0fc83172fca3e78ffbc)
It seems to be platform/environment depended:
Jenkins ver. 1.464
Linux Ubuntu 12.04, Chromium 18.0.1025.151, search is case insensitive.
Mac OS X 10.7.3 a Chrome Version 19.0.1084.46, search is case sensitive.
It seems to be platform/environment depended:
Jenkins ver. 1.464
Linux Ubuntu 12.04, Chromium 18.0.1025.151, search is case insensitive.
Mac OS X 10.7.3 a Chrome Version 19.0.1084.46, search is case sensitive.
Interesting that if you enter a full job name, it will match it even if the case is different (case insensitive). If you enter a substring of a job name, however, it will only return case sensitive results. We're currently on 1.509.4.
Interesting that if you enter a full job name, it will match it even if the case is different (case insensitive). If you enter a substring of a job name, however, it will only return case sensitive results. We're currently on 1.509.4.
Activity
jenkins-infra-bot commentedon Oct 1, 2009
mdonohue:
Raw content of original comment:
jenkins-infra-bot commentedon Feb 23, 2012
Raw content of original comment:
Code changed in jenkins
User: Fred G
Path:
core/src/main/java/hudson/search/CollectionSearchIndex.java
core/src/main/java/hudson/search/FixedSet.java
core/src/main/java/hudson/search/Search.java
core/src/main/java/hudson/search/UserSearchProperty.java
http://jenkins-ci.org/commit/jenkins/42b1d25241bf79471e3eb0fc83172fca3e78ffbc
Log:
[FIXED JENKINS-850] search box should match non-casesensitively.
The real fix was provided in pull request #376 by lvotypko and vjuranek.
This commit just corrects a method name mix up, removes redundant
imports and adds the right JIRA ticket number.
jenkins-infra-bot commentedon Feb 23, 2012
Raw content of original comment:
Integrated in
jenkins_main_trunk #1536
[FIXED JENKINS-850] search box should match non-casesensitively. (Revision 42b1d25)
Result = SUCCESS
Fred G : 42b1d25241bf79471e3eb0fc83172fca3e78ffbc
Files :
jenkins-infra-bot commentedon May 9, 2012
Raw content of original comment:
Still not working for me in Jenkins 1.462, which was release on 4/30/12 (well after the fix was committed).
jenkins-infra-bot commentedon May 17, 2012
Raw content of original comment:
It seems to be platform/environment depended:
Jenkins ver. 1.464
Linux Ubuntu 12.04, Chromium 18.0.1025.151, search is case insensitive.
Mac OS X 10.7.3 a Chrome Version 19.0.1084.46, search is case sensitive.
jenkins-infra-bot commentedon Oct 3, 2013
Raw content of original comment:
Just for your reference, Windows 2008, Jenkins 1.516, Chrome 29, search is case sensitive.
jenkins-infra-bot commentedon Mar 19, 2014
pmv:
Raw content of original comment:
Interesting that if you enter a full job name, it will match it even if the case is different (case insensitive). If you enter a substring of a job name, however, it will only return case sensitive results. We're currently on 1.509.4.
jenkins-infra-bot commentedon Sep 16, 2015
Raw content of original comment:
This appears to be default 'case sensitive' in Mac OS with Chrome 45.0.2454.85 (64-bit).
Jenkins: ver. 1.609.2
Is there a way to set the default to 'case insensitive' globally for all users on your jenkins instance?
Does anyone see this as low hanging fruit that might be able to get updated in a future build?
jenkins-infra-bot commentedon Oct 17, 2017
quas:
Raw content of original comment:
Also pipeline-syntax search on parameters (i.e. build: Project To Build property) are case sensitive ignoring user profile setting:
jenkins-infra-bot commentedon Nov 24, 2025
[Original
is_duplicated_byfrom Jira: JENKINS-2906]